Thu, 24 Aug 2017 18:40:30 +0200 |
Boris Feld |
effectflag: document effect flag
|
Thu, 06 Jul 2017 15:00:07 +0200 |
Boris Feld |
effectflag: detect when diff changed
|
Thu, 06 Jul 2017 14:58:44 +0200 |
Boris Feld |
effectflag: detect when meta changed
|
Thu, 06 Jul 2017 14:56:16 +0200 |
Boris Feld |
effectflag: detect when parents changed
|
Thu, 06 Jul 2017 14:55:12 +0200 |
Boris Feld |
effectflag: detect when branch changed
|
Thu, 06 Jul 2017 14:54:22 +0200 |
Boris Feld |
effectflag: detect when date changed
|
Thu, 06 Jul 2017 14:53:48 +0200 |
Boris Feld |
effectflag: detect when user changed
|