summaryrefslogtreecommitdiff
path: root/Build/logs
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2016-04-12 01:34:09 +0000
committerNorbert Preining <preining@logic.at>2016-04-12 01:34:09 +0000
commit0dfeb54e3aa0bb72adcdb896524d344dbe16c867 (patch)
tree8f741901dd59f1adb42e0e46d6f741f4c3b03dde /Build/logs
parentdd8704f13b0ef5fda3041cb07bdfc713158e958c (diff)
remove duplicate set of global options
git-svn-id: svn://tug.org/texlive/trunk@40421 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/logs')
0 files changed, 0 insertions, 0 deletions