diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-06-11 19:38:03 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-06-11 19:38:03 -0400 |
| commit | 9bc8214356403845bb44535127c46e6378fa1ba6 (patch) | |
| tree | eb0ca0fe291e6cf7d70b5cbc0d2413a6c08062e7 /doc/Makefile | |
| parent | 443fa1a2ad02b653c96de2fb159fbdb510a87171 (diff) | |
A number of bug fixes in the manual
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions