log tests/timestamp.ur

age author description
Fri, 30 Nov 2012 09:50:00 -0500 Adam Chlipala Fix generation of timestamp literals for MySQL and SQLite