summaryrefslogtreecommitdiff
path: root/src/prepare.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 15:45:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 15:45:10 -0400
commitb731727df078c7295aff5309460fb93a2e51c8e5 (patch)
treeccb42c49cdb4b1963ad490452f92998a124f7d7c /src/prepare.sml
parentcc1ee568ed458ba1e693074d0dad9a27235b7963 (diff)
Move all DBMS initialization to #init
Diffstat (limited to 'src/prepare.sml')
0 files changed, 0 insertions, 0 deletions