diff options
| author | Karl Berry <karl@freefriends.org> | 2018-12-13 23:17:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-12-13 23:17:44 +0000 |
| commit | e69f0b4add2631161752438c5fb8565d39b8635d (patch) | |
| tree | 3bc263678bb12c7904af66c7056c6e01312cb323 /Build/source/texk | |
| parent | c74725ee58bb59d1fd6f82c78dac54033b642839 (diff) | |
remove temp files whether or not pot has changed
git-svn-id: svn://tug.org/texlive/trunk@49409 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
0 files changed, 0 insertions, 0 deletions