Compile-time configuration infrastructure

[hcoop/domtool2.git] / src / config.sml

diff --git a/src/config.sml b/src/config.sml
new file mode 100644 (file)
index 0000000..cf3f048
--- /dev/null
+++ b/src/config.sml
@@ -0,0 +1,5 @@
+structure Config :> CONFIG = struct
+
+open ConfigDefault
+
+end