summaryrefslogtreecommitdiff
path: root/Build/source/doc
diff options
context:
space:
mode:
authorLuigi Scarso <luigi.scarso@gmail.com>2019-08-11 00:12:36 +0000
committerLuigi Scarso <luigi.scarso@gmail.com>2019-08-11 00:12:36 +0000
commitfcfad746157c9af27a2ac800c0538109c47e3125 (patch)
tree2e290800afafa44e7682aab679fcd2856d4c5d26 /Build/source/doc
parentca71cb523ad80853eba39a257a1c7bc4053c466a (diff)
mfluajit BANNER correctly defined
git-svn-id: svn://tug.org/texlive/trunk@51861 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc')
0 files changed, 0 insertions, 0 deletions