diff options
Diffstat (limited to 'man/ocaml.m')
| -rw-r--r-- | man/ocaml.m | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/man/ocaml.m b/man/ocaml.m index c230038c2..c3dff4475 100644 --- a/man/ocaml.m +++ b/man/ocaml.m @@ -10,8 +10,6 @@ .\"* * .\"*********************************************************************** .\" -.\" $Id$ -.\" .TH OCAML 1 .SH NAME |