Revision: tla-devtools--main--0--patch-8
Archive: elho@elho.net--tla-devtools
Creator: Elmar Hoffmann <elho@elho.net>
Date: Wed Mar 20 15:31:19 CET 2019
Standard-date: 2019-03-20 14:31:19 GMT
Modified-files: ChangeLog tla-last-modified
New-patches: elho@elho.net--tla-devtools/tla-devtools--main--0--patch-8
Summary: fix and improve file name escaping
Keywords: