Revision: tla-devtools--main--0--patch-1
Archive: elho@elho.net--tla-devtools
Creator: Elmar Hoffmann <elho@elho.net>
Date: Sat Feb 28 22:10:00 CET 2004
Standard-date: 2004-02-28 21:10:00 GMT
Modified-files: ChangeLog tla-last-modified
New-patches: elho@elho.net--tla-devtools/tla-devtools--main--0--patch-1
Summary: fix copyright
Keywords: