quotas

[hcoop/domtool2.git] / src / stats / quotas.mlb

diff --git a/src/stats/quotas.mlb b/src/stats/quotas.mlb
new file mode 100644 (file)
index 0000000..7ad43ac
--- /dev/null
+++ b/src/stats/quotas.mlb
@@ -0,0 +1,5 @@
+$(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
+
+quotas.sml
+quotas-main.sml