diff options
author | Luigi Scarso <luigi.scarso@gmail.com> | 2019-08-11 00:12:36 +0000 |
---|---|---|
committer | Luigi Scarso <luigi.scarso@gmail.com> | 2019-08-11 00:12:36 +0000 |
commit | fcfad746157c9af27a2ac800c0538109c47e3125 (patch) | |
tree | 2e290800afafa44e7682aab679fcd2856d4c5d26 /Build/source/ChangeLog | |
parent | ca71cb523ad80853eba39a257a1c7bc4053c466a (diff) |
mfluajit BANNER correctly defined
git-svn-id: svn://tug.org/texlive/trunk@51861 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/ChangeLog')
0 files changed, 0 insertions, 0 deletions