diff options
| author | Clément Pit-Claudel | 2018-05-18 15:35:22 -0400 |
|---|---|---|
| committer | Théo Zimmermann | 2018-09-20 10:12:55 +0200 |
| commit | a58c64d545bcfe7d24554575f1ac1b80afe78806 (patch) | |
| tree | 95aad52e4890cf1c08b0ba1ff21d6af1416f9fcc /Makefile.doc | |
| parent | 6ae1a2df419db8f44e11f5c5d4bb5e387d290a64 (diff) | |
[doc] Change the name that appears on the first page of the PDF manual
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions