Wed, 09 Aug 2017 16:01:20 +0200 | Boris Feld | output: update obsfate / obslog output order | file | diff | annotate |
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 |