diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-21 00:16:52 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-21 00:16:52 +0100 |
commit | 4842eeaad32aeeeb1774ec9840c6da03952425ff (patch) | |
tree | f4a02c8bc20688116da360d86bb8dd7bf1c7bc27 /doc/tex | |
parent | a63e78c31a518f4441b2f87e1947c12e1e49aba1 (diff) |
Minor fix in documentation
Diffstat (limited to 'doc/tex')
0 files changed, 0 insertions, 0 deletions