From 32ca60de005df4b45e8904ab63e0e03978331c6f Mon Sep 17 00:00:00 2001 From: Hans Hagen Date: Thu, 22 Dec 2022 23:12:04 +0100 Subject: 2022-12-22 22:16:00 --- tex/context/interface/mkii/keys-pe.xml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'tex/context/interface') diff --git a/tex/context/interface/mkii/keys-pe.xml b/tex/context/interface/mkii/keys-pe.xml index ba477f82e..5eca0c1bc 100644 --- a/tex/context/interface/mkii/keys-pe.xml +++ b/tex/context/interface/mkii/keys-pe.xml @@ -96,7 +96,6 @@ - @@ -595,6 +594,7 @@ + @@ -683,9 +683,13 @@ + + + + -- cgit v1.2.3