diff options
Diffstat (limited to 'lang/ocaml/pkg-comment')
-rw-r--r-- | lang/ocaml/pkg-comment | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/ocaml/pkg-comment b/lang/ocaml/pkg-comment deleted file mode 100644 index d8c81183e3cb..000000000000 --- a/lang/ocaml/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An ML language based on a complete class-based objective system |