diff options
Diffstat (limited to 'Build/source/texk/detex/TLpatches/patch-13-typo-minipage')
-rw-r--r-- | Build/source/texk/detex/TLpatches/patch-13-typo-minipage | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/detex/TLpatches/patch-13-typo-minipage b/Build/source/texk/detex/TLpatches/patch-13-typo-minipage index 0274ea378c4..9b1c2596ca6 100644 --- a/Build/source/texk/detex/TLpatches/patch-13-typo-minipage +++ b/Build/source/texk/detex/TLpatches/patch-13-typo-minipage @@ -1,6 +1,6 @@ -diff -ur opendetex-2.8.3.orig/detex.l opendetex-2.8.3/detex.l ---- opendetex-2.8.3.orig/detex.l 2018-02-11 18:42:05.000000000 +0900 -+++ opendetex-2.8.3/detex.l 2018-06-20 23:12:37.000000000 +0900 +diff -ur opendetex-2.8.4.orig/detex.l opendetex-2.8.4/detex.l +--- opendetex-2.8.4.orig/detex.l 2018-02-11 18:42:05.000000000 +0900 ++++ opendetex-2.8.4/detex.l 2018-06-20 23:12:37.000000000 +0900 @@ -203,7 +204,7 @@ <LaVerbatim>. ECHO; |