Thu, 06 Jul 2017 14:58:44 +0200 | Boris Feld | effectflag: detect when meta changed | changeset | files |
Thu, 06 Jul 2017 14:56:16 +0200 | Boris Feld | effectflag: detect when parents changed | changeset | files |
Thu, 06 Jul 2017 14:55:12 +0200 | Boris Feld | effectflag: detect when branch changed | changeset | files |