diff options
author | Norbert Preining <norbert@preining.info> | 2018-06-11 15:30:31 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2018-06-11 15:30:31 +0900 |
commit | 00f83e02cec3a68cd3c36af1a12e601643d432fb (patch) | |
tree | f1d7fead7516f56b4643cb70b3e1f8da7cfad788 /Master/texmf-dist/doc/man/man5 | |
parent | 1e6e7673cc3111da10914abe00b403571cbbbff7 (diff) |
more fixes for code cleanupmerged/system-pipe
Diffstat (limited to 'Master/texmf-dist/doc/man/man5')
0 files changed, 0 insertions, 0 deletions