diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-10-08 17:30:40 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-10-08 17:30:40 +0200 |
| commit | 58dadf295499588e492dab6bdc5934dc27ad3e64 (patch) | |
| tree | 81766bd81c8dd91c42a44a3e4ddfe5507546a30c /src | |
| parent | 9a1807aa01462724d296f403fecde06a93ba1a9d (diff) | |
Remove stray 'Title:' from the manual
Closes #4096.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions