Fri, 19 May 2017 20:43:16 +0200 Pierre-Yves David test: add (glob) to globed line
Fri, 19 May 2017 19:45:04 +0200 Pierre-Yves David effectflag: add test combining multiple flag
Fri, 19 May 2017 20:15:05 +0200 Pierre-Yves David effectflag: basic diff change detection
Fri, 19 May 2017 19:52:57 +0200 Boris Feld effectflag: detect parent change
Fri, 19 May 2017 19:48:44 +0200 Boris Feld effectflag: detect meta changes
Fri, 19 May 2017 19:43:06 +0200 Pierre-Yves David effect-flag: rework existing test to prepare for mor tests
Fri, 19 May 2017 18:43:21 +0200 Boris Feld effectflag: allow to save effect of change in obsmarkers
Fri, 19 May 2017 18:07:56 +0200 Pierre-Yves David merge back with stable
(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip