| Tue, 30 May 2017 11:06:24 +0200 | Boris Feld | effetflag: detect other meta (extra) changes | file | diff | annotate |
| Tue, 30 May 2017 11:39:45 +0200 | Boris Feld | effectflag: better diff detection | file | diff | annotate |
| Tue, 30 May 2017 11:38:30 +0200 | Boris Feld | effectflag: add a test for content detection | file | diff | annotate |
| Tue, 30 May 2017 14:46:36 +0200 | Boris Feld | test: fix test-evolve-effectflags dates | file | diff | annotate |
| Fri, 26 May 2017 18:27:59 +0200 | Boris Feld | effectflag: split effect flag meta | file | diff | annotate |
| Fri, 19 May 2017 20:21:10 +0200 | Boris Feld | obshistory: display informations from the obs marker effect flag | file | diff | annotate |
| Fri, 19 May 2017 20:43:16 +0200 | Pierre-Yves David | test: add (glob) to globed line | file | diff | annotate |