diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 15:45:10 -0400 |
commit | b731727df078c7295aff5309460fb93a2e51c8e5 (patch) | |
tree | ccb42c49cdb4b1963ad490452f92998a124f7d7c /src/compiler.sig | |
parent | cc1ee568ed458ba1e693074d0dad9a27235b7963 (diff) |
Move all DBMS initialization to #init
Diffstat (limited to 'src/compiler.sig')
0 files changed, 0 insertions, 0 deletions