Thu, 24 Aug 2017 18:40:30 +0200 | Boris Feld | effectflag: document effect flag | changeset | files |
Thu, 06 Jul 2017 15:00:07 +0200 | Boris Feld | effectflag: detect when diff changed | changeset | files |
Thu, 06 Jul 2017 14:58:44 +0200 | Boris Feld | effectflag: detect when meta changed | changeset | files |