pages*: fix various proper names, acronyms and initialisms (#12494)

This commit is contained in:
Vitor Henrique
2024-03-14 02:01:06 -03:00
committed by GitHub
parent 33770df77d
commit 935d605998
243 changed files with 415 additions and 415 deletions

View File

@@ -23,7 +23,7 @@
`ugrep --fuzzy={{3}} "{{suchmuster}}"`
- Suche auch in allen komprimierten Dateien und `zip`- und `tar`-Archive:
- Suche auch in allen komprimierten Dateien und Zip- und tar-Archive:
`ugrep --decompress "{{suchmuster}}"`