Revision: tla-devtools--main--0--patch-7
Archive: elho@elho.net--tla-devtools
Creator: Elmar Hoffmann <elho@elho.net>
Date: Tue Apr 20 11:28:03 CEST 2010
Standard-date: 2010-04-20 09:28:03 GMT
Modified-files: ChangeLog tla-last-modified
New-patches: elho@elho.net--tla-devtools/tla-devtools--main--0--patch-7
Summary: fix style
Keywords: