diff options
author | Norbert Preining <norbert@preining.info> | 2018-07-12 11:40:04 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2018-07-19 10:26:12 +0900 |
commit | 9ffe8e1a232abda74a701f0ad48a4bb8f33abf2f (patch) | |
tree | 4fdf1c63d0724ac703f48768551b9f68ec391a08 /Master/texmf-dist/fonts/ofm | |
parent | 82df47c8b94f1b51b144cf4bb0d79c65b4292ab4 (diff) |
setup_programs: prefer system versions, simplify codemerged/pref-sys-progs
Diffstat (limited to 'Master/texmf-dist/fonts/ofm')
0 files changed, 0 insertions, 0 deletions