diff options
Diffstat (limited to 'Build/source/texk/detex/detex-2.7-PATCHES/TL-Changes')
| -rw-r--r-- | Build/source/texk/detex/detex-2.7-PATCHES/TL-Changes | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/detex/detex-2.7-PATCHES/TL-Changes b/Build/source/texk/detex/detex-2.7-PATCHES/TL-Changes deleted file mode 100644 index 2ad134b8998..00000000000 --- a/Build/source/texk/detex/detex-2.7-PATCHES/TL-Changes +++ /dev/null @@ -1,6 +0,0 @@ -Changes applied to the detex-2.7 tree as obtained from: - http://www.cs.purdue.edu/homes/trinkle/detex/ ??? - -Renamed: - detex.1l -> detex.man - |