diff options
| author | Karl Berry <karl@freefriends.org> | 2019-12-17 19:06:20 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-12-17 19:06:20 +0000 |
| commit | 10a7ffb1a8491cbb46e496c3aad5ef20a8cb4217 (patch) | |
| tree | 72acabf12ea3fcf921501f850e631404ce68e7ca /Build/source/texk/web2c/am | |
| parent | 91f88812766634e237adbc651370ffc5c3794135 (diff) | |
rm trap.base/trip.fmt before remaking
git-svn-id: svn://tug.org/texlive/trunk@53154 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/am')
0 files changed, 0 insertions, 0 deletions