From bb7954d393e8f95ece592bab32ed568cdeaea7eb Mon Sep 17 00:00:00 2001 From: Moritz Dieing <63721811+moritzdieing@users.noreply.github.com> Date: Thu, 25 Feb 2021 19:59:17 +0100 Subject: [PATCH] Typo --- src/main/resources/language/translation_de.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index 33fffef..f11d205 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -35,7 +35,7 @@ root.lastStepButton=Letzter-Schritt-Knopf root.shareButton=Teilen-Knopf root.helpDrawer=Durch Benutzen des Knopfs öffnet sich der Drawer. \ Im Drawer ist eine Auflistung aller Typinferenzregeln zu finden. \ -Außerdem kann mit dem Kopieren-Knopfs der Latex-Code der Regel in die Zwischenablage kopiert werden. +Außerdem kann mit dem Kopieren-Knopf der Latex-Code der Regel in die Zwischenablage kopiert werden. root.helpExample=Durch Benutzen des Knopfs öffnet sich der Beispiel-Dialog. \ Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \ Der Term kann nun nach Belieben angepasst oder direkt typisiert werden.