log tests/sqliteTime.urp

age author description
2010-12-20 Adam Chlipala Use proper string time format for SQLite