diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:07:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-03 10:07:50 -0500 |
| commit | f944c1f6dd0f0161b7e8aa5d6f8dbc721164d462 (patch) | |
| tree | 7fe3656b0f0300748881c9f8c8e8f2d5ead67dae /.hgignore | |
| parent | 2286c970ce9d32a630e289df2685dbdff8e18217 (diff) | |
Change client-side int parsing to match server-side, in ignoring initial zeroes
Diffstat (limited to '.hgignore')
0 files changed, 0 insertions, 0 deletions