log

age author description
Tue, 23 Jun 2009 14:41:16 +0200 Martin Geisler test-grep: fixed comment
Sun, 21 Jun 2009 20:34:58 +0200 Cédric Duval extensions: remove import rendered unnecessary by e4e22a310b62
Sun, 21 Jun 2009 20:35:20 +0200 Cédric Duval help: fixing non-matching example texts
Mon, 22 Jun 2009 15:48:08 +0200 Cédric Duval extensions: improve the consistency of synopses