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 | 65e08aafe417c881b89e5c689048fd627a72129b (patch) | |
| tree | e279f8eac17705d5eb71285caed6033d691aba8d /doc/manual.tex | |
| parent | ac637085e36c23d9963c8695e4a3294d49494b68 (diff) | |
Compatibility fix in header file
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions