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
..
local.mk	nix-shell: Use bashInteractive from <nixpkgs>	2017-07-20 13:50:25 +02:00
nix-build.cc	Replace Unicode quotes in user-facing strings by ASCII	2017-07-30 12:32:45 +01:00