5 commits

Author	SHA1	Message	Date
Jörg Thalheim	2fd8f8bb99	Replace Unicode quotes in user-facing strings by ASCII ... Relevant RFC: NixOS/rfcs#4 $ ag -l | xargs sed -i -e "/\"/s/’/'/g;/\"/s/‘/'/g"	2017-07-30 12:32:45 +01:00
Eelco Dolstra	215b70f51e	Revert "Get rid of unicode quotes (#1140)" ... This reverts commit f78126bfd6. There really is no need for such a massive change...	2016-11-26 00:38:01 +01:00
Guillaume Maudoux	f78126bfd6	Get rid of unicode quotes (#1140)	2016-11-25 15:48:27 +01:00
Eelco Dolstra	67364a5795	Fix Fedora build	2016-08-30 13:56:22 +02:00
Shea Levy	91978e3b9a	buildenv: perl -> c++	2016-08-11 07:58:33 -04:00