diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:48:08 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-12-30 12:48:08 -0500 |
| commit | 47c3f97fcb06ec6b269d2242ca3eca3a0bbde118 (patch) | |
| tree | be2da00e94b3473c0dd36e322e665f92e80cab2b /doc/manual.tex | |
| parent | 0da856d382928de6ab36d7d0a81babd5434fc05d (diff) | |
Fix jsifyTime to work on 32-bit systems
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions