| Mon, 19 Sep 2011 14:40:38 +0200 | wenzelm | instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e); | file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |