From ec1e8f436ba783cfdb73df01a97d94ae014a023e Mon Sep 17 00:00:00 2001 From: jmoenig Date: Mon, 24 Jun 2019 09:10:07 +0200 Subject: [PATCH] updated version history --- HISTORY.md | 1 + 1 file changed, 1 insertion(+) diff --git a/HISTORY.md b/HISTORY.md index 541b17e2..6c0cc9ed 100755 --- a/HISTORY.md +++ b/HISTORY.md @@ -89,6 +89,7 @@ ### 2019-06-24 * removed "such that" from KEEP and FIND block labels +* adjusted German, French, Portuguese, Spanish, Catalan translations * updated Catalan translation, thanks, Joan! * updated Portuguese translation, thanks, Manuel!