diff options
| author | David Thompson <dthompson2@worcester.edu> | 2017-01-20 21:06:07 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2017-01-20 21:06:07 -0500 |
| commit | c5e5df24c5c00c360e8651c7d4530448a4a6f750 (patch) | |
| tree | e06592a08a8992337d1733b7b79a75f68fee6014 /doc/api.texi | |
| parent | 2234ca057cd9b12fb2f10631686fa43f8227feb0 (diff) | |
Fix 'make publish'.
Diffstat (limited to 'doc/api.texi')
0 files changed, 0 insertions, 0 deletions