summaryrefslogtreecommitdiff
path: root/src/mono_opt.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-12 16:09:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-12 16:09:54 -0400
commit662c635acece462b9a3d8f95f30716f9904b5ad5 (patch)
tree4d4a46bcc85dddd733c8b96416c8cbba8c204e9e /src/mono_opt.sml
parent109da4465170be4f88216c6b0b2fc7d2e4c819b8 (diff)
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
Diffstat (limited to 'src/mono_opt.sml')
0 files changed, 0 insertions, 0 deletions