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 |
Fri, 19 May 2017 19:45:04 +0200 | Pierre-Yves David | effectflag: add test combining multiple flag | file | diff | annotate |