diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-28 18:09:45 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-28 18:09:45 +0000 |
commit | 54e9903b97c119a6f9a93d081a690d25d633afe0 (patch) | |
tree | f43d395f3693636f73eb35d73db115f15035fed0 /Build/logs | |
parent | 37b13867e8d5360818cda4c6e1c2964f8e67478f (diff) |
--gray: new option, from William Bader,
http://tug.org/pipermail/tex-k/2016-February/002661.html
git-svn-id: svn://tug.org/texlive/trunk@41287 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions