summaryrefslogtreecommitdiff
path: root/src/settings.sml
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
commit0c42fe7e8be44f7314e53259c33f6e45fe3078d9 (patch)
treedfa6ca9540f8f3d2015929a33a2971529c7b887f /src/settings.sml
parent92e6bcf287f4a6984599d1599f7437293be72ba1 (diff)
demo/sql works with SQLite
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions