diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-12 15:05:08 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-12 16:11:25 +0200 |
| commit | c7560b2873cbba06c8f4123e64cc42be979ab676 (patch) | |
| tree | 0599f7b1683acadbf9f63f3997b47d6ab3b6e853 /dev/ocamlweb-doc/tactics.dep.ps | |
| parent | 331f53499e751f658e32e2beb98336f454c5c0c2 (diff) | |
Remove obsolete manpages (now shipped upstream)
Diffstat (limited to 'dev/ocamlweb-doc/tactics.dep.ps')
0 files changed, 0 insertions, 0 deletions