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
..
Nix	Replace Unicode quotes in user-facing strings by ASCII	2017-07-30 12:32:45 +01:00