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 | b2d1c581afdb7ad9ede5d43158306c45177ef560 (patch) | |
| tree | a839986fce23c2a41291040eb9e1f6b74c6ab787 /src/settings.sml | |
| parent | 30fa60cba0832e7530c8d29c056a6158b907e7f3 (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 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions