summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobin H. Johnson <robbat2@gentoo.org>2003-07-03 04:59:12 +0000
committerRobin H. Johnson <robbat2@gentoo.org>2003-07-03 04:59:12 +0000
commita0fe6a333aa6442a7ec2c8b068e9954313f80138 (patch)
tree7c06d415cc91be956dad6caf23c9b2661a452704 /dev-ml/ocaml-make
parentremoving lockfile (diff)
downloadhistorical-a0fe6a333aa6442a7ec2c8b068e9954313f80138.tar.gz
historical-a0fe6a333aa6442a7ec2c8b068e9954313f80138.tar.bz2
historical-a0fe6a333aa6442a7ec2c8b068e9954313f80138.zip
removing lockfile
Diffstat (limited to 'dev-ml/ocaml-make')
-rw-r--r--dev-ml/ocaml-make/.frozen1
-rw-r--r--dev-ml/ocaml-make/files/.frozen1
2 files changed, 0 insertions, 2 deletions
diff --git a/dev-ml/ocaml-make/.frozen b/dev-ml/ocaml-make/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocaml-make/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/ocaml-make/files/.frozen b/dev-ml/ocaml-make/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocaml-make/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2