diff options
Diffstat (limited to 'lang/ocaml/pkg-plist')
| -rw-r--r-- | lang/ocaml/pkg-plist | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/ocaml/pkg-plist b/lang/ocaml/pkg-plist index 68ac4eaa3f7..3d6e87674df 100644 --- a/lang/ocaml/pkg-plist +++ b/lang/ocaml/pkg-plist @@ -373,7 +373,6 @@ share/doc/ocaml/html/manual010.html share/doc/ocaml/html/manual011.html share/doc/ocaml/html/manual012.html share/doc/ocaml/html/manual013.html -share/doc/ocaml/html/manual013.html~ share/doc/ocaml/html/manual014.html share/doc/ocaml/html/manual015.html share/doc/ocaml/html/manual016.html |