Am 30.11.2017 um 10:59 schrieb Ludovic Courtès: > Related to that, someone on IRC suggested removing the “#” from the > shell snippets at
+1 -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |