diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-16 18:58:52 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-16 18:58:52 +0000 |
commit | 4d931d655146eb8429cd506a2060e20e6491bd62 (patch) | |
tree | d5aa9a366cda5cc27fb0af38eb7deab77ceec271 /Build/source/stamp-configure | |
parent | 1944915ff698b237c9123b01fec720ab6264b895 (diff) |
avoid double .fmt with -fmt=foo.fmt
git-svn-id: svn://tug.org/texlive/trunk@6978 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/stamp-configure')
0 files changed, 0 insertions, 0 deletions