21 files changed, 0 insertions, 21 deletions
diff --git a/dev-ml/.frozen b/dev-ml/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/camlimages/.frozen b/dev-ml/camlimages/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/camlimages/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/camlimages/files/.frozen b/dev-ml/camlimages/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/camlimages/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/findlib/.frozen b/dev-ml/findlib/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/findlib/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/findlib/files/.frozen b/dev-ml/findlib/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/findlib/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/lablgl/.frozen b/dev-ml/lablgl/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/lablgl/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/lablgl/files/.frozen b/dev-ml/lablgl/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/lablgl/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/lablgtk/.frozen b/dev-ml/lablgtk/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/lablgtk/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/lablgtk/files/.frozen b/dev-ml/lablgtk/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/lablgtk/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
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
diff --git a/dev-ml/ocaml-shell/.frozen b/dev-ml/ocaml-shell/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocaml-shell/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/ocaml-shell/files/.frozen b/dev-ml/ocaml-shell/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocaml-shell/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/ocamlnet/.frozen b/dev-ml/ocamlnet/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocamlnet/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/ocamlnet/files/.frozen b/dev-ml/ocamlnet/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/ocamlnet/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pcre-ocaml/.frozen b/dev-ml/pcre-ocaml/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pcre-ocaml/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pcre-ocaml/files/.frozen b/dev-ml/pcre-ocaml/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pcre-ocaml/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pomap/.frozen b/dev-ml/pomap/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pomap/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pomap/files/.frozen b/dev-ml/pomap/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pomap/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pxp/.frozen b/dev-ml/pxp/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pxp/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2
diff --git a/dev-ml/pxp/files/.frozen b/dev-ml/pxp/files/.frozen
deleted file mode 100644
index 3c5228e36070..000000000000
--- a/dev-ml/pxp/files/.frozen
+++ /dev/null
@@ -1 +0,0 @@
-robbat2