Update de.json

Okay → OK because it’s shorter and more common
This commit is contained in:
DwainZwerg
2024-01-31 14:55:23 +00:00
committed by GitHub
parent 8888cd6264
commit efa55a9696

View File

@@ -9,7 +9,7 @@
"placeholder": "Platzhalter",
"someErrors": "Es traten einige Fehler auf",
"unexpectedError": "Unerwarteter Fehler",
"ok": "Okay",
"ok": "OK",
"and": "und",
"githubPATLabel": "GitHub Personal Access Token (Erhöht das Ratenlimit)",
"includePrereleases": "Vorabversionen einbeziehen",