diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-12 13:21:19 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-11-12 13:21:19 +0100 |
commit | 99656b4fb34c8a8c6a174c7953a6b218ba6568c6 (patch) | |
tree | f511703bdeeff064dbc314281c6abce9b0bb5348 /po/boldquot.sed | |
parent | 6c629d45711b613257d30e8d5a1527003d9c3f1f (diff) | |
parent | 35fd3ab8990210defe10f1614abe4ca1afe04c5d (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'po/boldquot.sed')
-rw-r--r-- | po/boldquot.sed | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/po/boldquot.sed b/po/boldquot.sed deleted file mode 100644 index 4b937aa..0000000 --- a/po/boldquot.sed +++ /dev/null @@ -1,10 +0,0 @@ -s/"\([^"]*\)"/“\1”/g -s/`\([^`']*\)'/‘\1’/g -s/ '\([^`']*\)' / ‘\1’ /g -s/ '\([^`']*\)'$/ ‘\1’/g -s/^'\([^`']*\)' /‘\1’ /g -s/“”/""/g -s/“/“[1m/g -s/”/[0m”/g -s/‘/‘[1m/g -s/’/[0m’/g |