summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobin H. Johnson <robbat2@gentoo.org>2003-07-03 02:11:36 +0000
committerRobin H. Johnson <robbat2@gentoo.org>2003-07-03 02:11:36 +0000
commitff230e6d1963c3f85850d5fe1355a0ee4dfeb0ee (patch)
treea5340a0e8f5d30b3ad51978a068924c6e0098c06 /dev-lang/smlnj
parentAdd frozen lock support (diff)
downloadhistorical-ff230e6d1963c3f85850d5fe1355a0ee4dfeb0ee.tar.gz
historical-ff230e6d1963c3f85850d5fe1355a0ee4dfeb0ee.tar.bz2
historical-ff230e6d1963c3f85850d5fe1355a0ee4dfeb0ee.zip
Add frozen lock support
Diffstat (limited to 'dev-lang/smlnj')
-rw-r--r--dev-lang/smlnj/.frozen1
-rw-r--r--dev-lang/smlnj/files/.frozen1
2 files changed, 2 insertions, 0 deletions
diff --git a/dev-lang/smlnj/.frozen b/dev-lang/smlnj/.frozen
new file mode 100644
index 000000000000..3c5228e36070
--- /dev/null
+++ b/dev-lang/smlnj/.frozen
@@ -0,0 +1 @@
+robbat2
diff --git a/dev-lang/smlnj/files/.frozen b/dev-lang/smlnj/files/.frozen
new file mode 100644
index 000000000000..3c5228e36070
--- /dev/null
+++ b/dev-lang/smlnj/files/.frozen
@@ -0,0 +1 @@
+robbat2