summaryrefslogtreecommitdiff
path: root/dev/ocamlweb-doc/tactics.dep.ps
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2008-08-12 15:05:08 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2008-08-12 16:11:25 +0200
commitc7560b2873cbba06c8f4123e64cc42be979ab676 (patch)
tree0599f7b1683acadbf9f63f3997b47d6ab3b6e853 /dev/ocamlweb-doc/tactics.dep.ps
parent331f53499e751f658e32e2beb98336f454c5c0c2 (diff)
Remove obsolete manpages (now shipped upstream)
Diffstat (limited to 'dev/ocamlweb-doc/tactics.dep.ps')
0 files changed, 0 insertions, 0 deletions