diff options
author | Karl Berry <karl@freefriends.org> | 2016-09-28 23:39:56 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-09-28 23:39:56 +0000 |
commit | 0ccb1bafd7b350766c1c43cea86f22ca4beb40a4 (patch) | |
tree | d2e899e8c61786afb00cc76e46b56e4fec59af7f /Build/source/texk/gregorio/configure | |
parent | a617c2af51851dd3949230bda3c054f4d8a7ea1a (diff) |
do not use FILENAME_VERSION, as with TL16
git-svn-id: svn://tug.org/texlive/trunk@42176 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/gregorio/configure')
0 files changed, 0 insertions, 0 deletions