diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-04 16:32:06 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-04 16:32:06 -0500 |
| commit | d1808f886236e02fa5de7bdfd3c956845eca7e8e (patch) | |
| tree | a839986fce23c2a41291040eb9e1f6b74c6ab787 /lib/ur/list.ur | |
| parent | d46a56f2281e5f992484df00debe8b8f97097e31 (diff) | |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript
Diffstat (limited to 'lib/ur/list.ur')
0 files changed, 0 insertions, 0 deletions