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
..
buildenv.cc	Replace Unicode quotes in user-facing strings by ASCII	2017-07-30 12:32:45 +01:00
local.mk	Fix Fedora build	2016-08-30 13:56:22 +02:00