summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorMartin Holzer <mholzer@gentoo.org>2003-05-29 13:40:21 +0000
committerMartin Holzer <mholzer@gentoo.org>2003-05-29 13:40:21 +0000
commitb185ae27cf4c843b00c6e6c5c0b8625293ead41b (patch)
tree4688a321f363ccde37267d3f5d094284c277d647 /dev-ml
parentadding Manifest (diff)
downloadhistorical-b185ae27cf4c843b00c6e6c5c0b8625293ead41b.tar.gz
historical-b185ae27cf4c843b00c6e6c5c0b8625293ead41b.tar.bz2
historical-b185ae27cf4c843b00c6e6c5c0b8625293ead41b.zip
adding Manifest
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/findlib/Manifest0
-rw-r--r--dev-ml/lablgl/Manifest0
-rw-r--r--dev-ml/lablgtk/Manifest0
-rw-r--r--dev-ml/ocaml-shell/Manifest0
-rw-r--r--dev-ml/ocamlnet/Manifest0
-rw-r--r--dev-ml/pcre-ocaml/Manifest0
-rw-r--r--dev-ml/pomap/Manifest0
-rw-r--r--dev-ml/pxp/Manifest0
8 files changed, 0 insertions, 0 deletions
diff --git a/dev-ml/findlib/Manifest b/dev-ml/findlib/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/findlib/Manifest
diff --git a/dev-ml/lablgl/Manifest b/dev-ml/lablgl/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/lablgl/Manifest
diff --git a/dev-ml/lablgtk/Manifest b/dev-ml/lablgtk/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/lablgtk/Manifest
diff --git a/dev-ml/ocaml-shell/Manifest b/dev-ml/ocaml-shell/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/ocaml-shell/Manifest
diff --git a/dev-ml/ocamlnet/Manifest b/dev-ml/ocamlnet/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/ocamlnet/Manifest
diff --git a/dev-ml/pcre-ocaml/Manifest b/dev-ml/pcre-ocaml/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/pcre-ocaml/Manifest
diff --git a/dev-ml/pomap/Manifest b/dev-ml/pomap/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/pomap/Manifest
diff --git a/dev-ml/pxp/Manifest b/dev-ml/pxp/Manifest
new file mode 100644
index 000000000000..e69de29bb2d1
--- /dev/null
+++ b/dev-ml/pxp/Manifest