diff options
Diffstat (limited to 'lang/ocamlduce/pkg-plist')
| -rw-r--r-- | lang/ocamlduce/pkg-plist | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/lang/ocamlduce/pkg-plist b/lang/ocamlduce/pkg-plist deleted file mode 100644 index 57f44b407a7d..000000000000 --- a/lang/ocamlduce/pkg-plist +++ /dev/null @@ -1,24 +0,0 @@ -%%OCAML_SITELIBDIR%%/ocamlduce/META -%%OCAML_SITELIBDIR%%/ocamlduce/cduce_types.cmi -%%OCAML_SITELIBDIR%%/ocamlduce/ocamlduce.a -%%OCAML_SITELIBDIR%%/ocamlduce/ocamlduce.cma -%%OCAML_SITELIBDIR%%/ocamlduce/ocamlduce.cmi -%%OCAML_SITELIBDIR%%/ocamlduce/ocamlduce.cmxa -%%OCAML_SITELIBDIR%%/ocamlduce/ocamlduce.mli -%%OCAML_SITELIBDIR%%/ocamlduce/topdirs.cmi -%%OCAML_SITELIBDIR%%/ocamlduce/topdirs.cmo -%%OCAML_SITELIBDIR%%/ocamlduce/topdirs.mli -%%OCAML_SITELIBDIR%%/ocamlduce/toplevellib.cma -%%OCAML_SITELIBDIR%%/ocamlduce/toploop.cmi -%%OCAML_SITELIBDIR%%/ocamlduce/toploop.cmo -%%OCAML_SITELIBDIR%%/ocamlduce/toploop.mli -%%OCAML_SITELIBDIR%%/ocamlduce/topmain.cmi -%%OCAML_SITELIBDIR%%/ocamlduce/topmain.cmo -%%OCAML_SITELIBDIR%%/ocamlduce/topmain.mli -%%OCAML_SITELIBDIR%%/ocamlduce/topstart.cmo -bin/ocamlducec -bin/ocamlduce -bin/ocamlducedep -bin/ocamlducedoc -bin/ocamlduceopt -bin/ocamlducefind |