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
|
Thu, 06 Jul 2017 14:52:34 +0200 |
Boris Feld |
effectflag: detect when description changed
|
Thu, 06 Jul 2017 14:51:08 +0200 |
Boris Feld |
tests: add tests for effect flags
|
Thu, 06 Jul 2017 14:50:17 +0200 |
Boris Feld |
effectflag: store an empty effect flag for the moment
|