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
..
fetchgit.cc	Replace Unicode quotes in user-facing strings by ASCII	2017-07-30 12:32:45 +01:00
fetchgit.hh	builtins.fetchgit: Support specifying commit hashes	2017-07-27 18:08:23 +02:00