remove source-dist branch
This commit is contained in:
commit
a1bc04fc80
411 changed files with 128132 additions and 0 deletions
10
po/boldquot.sed
Normal file
10
po/boldquot.sed
Normal file
|
@ -0,0 +1,10 @@
|
|||
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
|
Loading…
Add table
Add a link
Reference in a new issue