summaryrefslogtreecommitdiff
path: root/Build/source/texk/detex/detex-2.8-PATCHES/patch-06-never-interactive
AgeCommit message (Expand)Author
2012-07-09detex: Added the never-interactive option to prevent flexPeter Breitenlohner