Daniel Siepmann b164348d79 Fix broken languagetool ... Following https://github.com/languagetool-org/languagetool/issues/9757#issuecomment-1831915062		2023-12-20 09:11:10 +01:00
..
programs	Fix broken languagetool	2023-12-20 09:11:10 +01:00