summaryrefslogtreecommitdiff
path: root/www/ocsigen
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2012-07-11 10:43:09 +0000
committerwiz <wiz@pkgsrc.org>2012-07-11 10:43:09 +0000
commit3a6a34e10080400c0eb53d067d5768c3217512de (patch)
treebbdc61749cc8cf29ef3fc9e0f232decb082b45d4 /www/ocsigen
parent4cdc3f00e2a26aa3b0aa226b94d1270d7875c638 (diff)
downloadpkgsrc-3a6a34e10080400c0eb53d067d5768c3217512de.tar.gz
Remove obsolete file.
Diffstat (limited to 'www/ocsigen')
-rw-r--r--www/ocsigen/PLIST.ocamlduce5
1 files changed, 0 insertions, 5 deletions
diff --git a/www/ocsigen/PLIST.ocamlduce b/www/ocsigen/PLIST.ocamlduce
deleted file mode 100644
index 907803169ea..00000000000
--- a/www/ocsigen/PLIST.ocamlduce
+++ /dev/null
@@ -1,5 +0,0 @@
-@comment $NetBSD: PLIST.ocamlduce,v 1.1.1.1 2007/04/10 20:24:43 tonio Exp $
-lib/ocaml/site-lib/ocsigen/ocsigenduce.cma
-lib/ocaml/site-lib/ocsigen/ocsigenduce.cmi
-lib/ocaml/site-lib/ocsigen/xhtml1_strict.cmi
-share/examples/ocsigen/exampleduce.cmo