Christoph d092d2eca6 detect_os.sh: fix minor error if os can't be detected.		2020-04-16 10:55:53 +02:00
snippets	detect_os.sh: fix minor error if os can't be detected.	2020-04-16 10:55:53 +02:00
.gitignore	change .gitignore	2018-04-30 02:56:19 +02:00