diff options
Diffstat (limited to 'Build/source/texk/detex/detex-src/detex.h')
-rw-r--r-- | Build/source/texk/detex/detex-src/detex.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/detex/detex-src/detex.h b/Build/source/texk/detex/detex-src/detex.h index 1067f9520ce..7d206a372b0 100644 --- a/Build/source/texk/detex/detex-src/detex.h +++ b/Build/source/texk/detex/detex-src/detex.h @@ -81,5 +81,6 @@ #define CHTEXOPT 't' #define CHWORDOPT 'w' #define CHREPLACE 'r' +#define CHVERSIONOPT 'v' #define my_ERROR -1 |