diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-12-21 13:20:11 -0500 |
| commit | e8f0606212506de059a2ac3730d0a01ecb977c70 (patch) | |
| tree | e279f8eac17705d5eb71285caed6033d691aba8d /doc/manual.tex | |
| parent | 509e9564fe6655fe79e70decf2a61a6a6d3761ba (diff) | |
Compatibility fix in header file
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions