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
|
Fri, 30 Jun 2017 03:44:00 +0200 |
Boris Feld |
configitems: register the 'profiling.type' config
|
Fri, 30 Jun 2017 03:43:57 +0200 |
Boris Feld |
configitems: register the 'profiling.showmin' config
|