Random improvements
authorAdam Chlipala <adamc@hcoop.net>
Sun, 10 Aug 2003 02:21:03 +0000 (02:21 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 10 Aug 2003 02:21:03 +0000 (02:21 +0000)
commit2f09ba1edb5aeb22cf61b57a8f145c5277d88a3c
treead2172cab945e68648da03f5b3fa641cf2e4f406
parentf147efc833ed466c187a55622be46fc67539f11d
Random improvements
libpq/pg.sml
libpq/sources.cm
sql_driver.sig