Rüdiger Herrmann c04b2e39da Fix typo in settings description ... Remove a duplicate word from the description of the `warningsAsHint` setting.		2020-08-08 11:57:54 +02:00
..
code	Fix typo in settings description	2020-08-08 11:57:54 +02:00