Mercurial > urweb
log
age | author | description |
---|---|---|
Thu, 09 Jan 2014 17:27:24 -0500 | Adam Chlipala | Add 'html5' .urp directive |
Tue, 07 Jan 2014 08:36:18 -0500 | Adam Chlipala | MySQL: Combine transaction setup commands into one mysql_query() |
Sun, 05 Jan 2014 20:20:09 -0500 | Adam Chlipala | MySQL: catch deadlocks during queries |