Compile-time configuration infrastructure

[hcoop/domtool2.git] / src / configDefault.sml.footer

diff --git a/src/configDefault.sml.footer b/src/configDefault.sml.footer
new file mode 100644 (file)
index 0000000..7f2d065
--- /dev/null
+++ b/src/configDefault.sml.footer
@@ -0,0 +1,2 @@
+
+end