diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-09-30 14:09:32 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-09-30 14:09:32 +0200 |
| commit | 0537caaf4af94a9ead8b292679f6b34c90b55e06 (patch) | |
| tree | 6761cfdf959926be7af3147cf770e7f253390fe8 /po/boldquot.sed | |
| parent | eca5837e235a356c8db9416bbbc13577db3e6f76 (diff) | |
| parent | 5e9f4eea451a77ba3b93db3747841ed2bd969e9f (diff) | |
Update upstream source from tag 'upstream/0.30.1'
Update to upstream version '0.30.1'
with Debian dir dc242531effff8d9c6fab093414edee28b403c6a
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 |