arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix typos

Browse Source
This commit is contained in:
ucrhh 2021-03-05 21:04:38 +01:00
parent 098a358a0d
commit db14a72783
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/resources/language/translation_de.properties
View File

@ -23,7 +23,7 @@ root.deleteAll=Alle löschen
root.variable=Variable
root.type=Typ
root.title404=404 - Seite nicht gefunden
root.message404=Versuche /infer/<term> oder gebe deinen Lieblingsterm in das Eingabefeld ein
root.message404=Versuche /infer/<term> oder gib deinen Lieblingsterm in das Eingabefeld ein.
root.drawer=Drawer (Ableitungsregeln)
root.example=Beispiele
root.shortcuts=Tastaturbefehle

2
src/main/resources/language/translation_en.properties
View File

@ -23,7 +23,7 @@ root.deleteAll=Delete All
root.variable=Variable
root.type=Type
root.title404=404 - Not Found
root.message404=Try /infer/<term> or type your favourite term into the input field
root.message404=Try /infer/<term> or type your favourite term into the input field.
root.drawer=Drawer (type inference rules)
root.example=Examples
root.shortcuts=Shortcuts