From 9c27c9d90a3f3593de07658a14581b66d08c8b75 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 26 Jan 2008 10:06:22 -0500
Subject: Initial skeleton

---
 src/sources | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 src/sources

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
new file mode 100644
index 00000000..f4bd55b0
--- /dev/null
+++ b/src/sources
@@ -0,0 +1,4 @@
+errormsg.sig
+errormsg.sml
+
+laconic.sml
-- 
cgit v1.2.3