summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-17 16:29:36 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-17 16:29:36 -0400
commit6c255756254997d09a47f14b77998d086e8301c2 (patch)
treedfa6ca9540f8f3d2015929a33a2971529c7b887f /src/sources
parenta9b92a20c8f6cf6c73d92009269cadc37d7f4b5a (diff)
demo/sql works with SQLite
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/sources b/src/sources
index 48a756d9..ddc7deff 100644
--- a/src/sources
+++ b/src/sources
@@ -31,6 +31,9 @@ fastcgi.sml
mysql.sig
mysql.sml
+sqlite.sig
+sqlite.sml
+
prim.sig
prim.sml