diff options
author | Pjotr Prins | 2021-07-01 03:45:37 -0500 |
---|---|---|
committer | Pjotr Prins | 2021-07-01 03:45:37 -0500 |
commit | 56afbdbb119844345ffc1b9c6ff73af35e054816 (patch) | |
tree | 94a6b68c6e82aa81abad9260c4ea7f0cf0816324 /doc/manual.pdf | |
parent | cbbd4959455c8c6a70839e5806b0f3a22a7fda05 (diff) | |
download | pangemma-56afbdbb119844345ffc1b9c6ff73af35e054816.tar.gz |
manual: minor formatting
Diffstat (limited to 'doc/manual.pdf')
-rw-r--r-- | doc/manual.pdf | bin | 241449 -> 270399 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/manual.pdf b/doc/manual.pdf Binary files differindex c602856..a057834 100644 --- a/doc/manual.pdf +++ b/doc/manual.pdf |