log src/settings.sig

age author description
Tue, 30 Jun 2009 15:45:10 -0400 Adam Chlipala Move all DBMS initialization to #init