summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwiz <wiz>2012-07-11 10:43:09 +0000
committerwiz <wiz>2012-07-11 10:43:09 +0000
commit83ea17249f90f49009dae424ec2adc678aacba77 (patch)
treebbdc61749cc8cf29ef3fc9e0f232decb082b45d4
parent37d908c5315091cd4f86d51d27ea5b2cd9572206 (diff)
downloadpkgsrc-83ea17249f90f49009dae424ec2adc678aacba77.tar.gz
Remove obsolete file.
-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