Slaves and Exim

[hcoop/domtool2.git] / src / plugins / plugins.cm

diff --git a/src/plugins/plugins.cm b/src/plugins/plugins.cm
deleted file mode 100644 (file)
index 2f3be08..0000000
--- a/src/plugins/plugins.cm
+++ /dev/null
@@ -1,9 +0,0 @@
-Library
-
-signature ALIAS
-structure Alias
-
-is
-
-alias.sig
-alias.sml