Mercurial > urweb
log
age | author | description |
---|---|---|
Tue, 18 Feb 2014 07:07:01 -0500 | Adam Chlipala | Merge with small clean-ups |
Mon, 17 Feb 2014 19:25:30 -0500 | Patrick Hurst | Closing old datetime branch. |
Mon, 17 Feb 2014 19:21:46 -0500 | Patrick Hurst | Add Datetime JavaScript support. |
Sat, 15 Feb 2014 01:04:31 -0500 | Patrick Hurst | Merge in upstream |