diff options
author | Zeimer <zzaimer@gmail.com> | 2018-07-12 23:56:53 +0200 |
---|---|---|
committer | Zeimer <zzaimer@gmail.com> | 2018-07-12 23:56:53 +0200 |
commit | 6cdc4c69ea57f0498cc36f5213268920ca7f7d63 (patch) | |
tree | 539b4eec164366c1b5d1832e235279fe3f73bb2e /vernac | |
parent | e99a1fa8d225496e2a5f74d1247a99a07dba4597 (diff) |
Fixed typos, wording and grammar errors in the Preamble of the Reference Manual (Introduction, Credits).
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions