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