Sun, 01 Oct 2017 01:02:22 +0200 |
muxator |
docker: try to follow the best practices for writing Dockerfiles
|
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
|
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
|
Fri, 30 Jun 2017 03:43:56 +0200 |
Boris Feld |
configitems: register the 'profiling.showmax' config
|
Fri, 30 Jun 2017 03:43:55 +0200 |
Boris Feld |
configitems: register the 'profiling.output' config
|