annotate DOCS/.cvsignore @ 12263:26be0fd618b5

Much improved seeking. Patch by Michael Behrich <behrisch at informatik adot hu-berlin anotherdot de>
author mosu
date Fri, 23 Apr 2004 16:31:30 +0000
parents 1d753b45e42e
children 9d14ae6b20ef
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
10301
82c26f554cd0 HTML directory is autogenerated.
diego
parents:
diff changeset
1 HTML
11198
1d753b45e42e HTML-single added.
diego
parents: 10301
diff changeset
2 HTML-single