diff options
author | tv <tv@krebsco.de> | 2020-06-08 23:06:19 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2020-06-08 23:07:21 +0200 |
commit | 6f35dbd083e590ff6a0ac4bac33de71b64a328b3 (patch) | |
tree | 867248a9d943a3f5a64ec314ae8c42cfa21d4cfe | |
parent | beeca40313f68874e05568f4041423c16202e9da (diff) |
-rwxr-xr-x | dic | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -62,6 +62,7 @@ simplify() { s/⇔/⇔/g s/ / /g; # + s/®/®/g; s/ */ /g # <!-- undefined_translation: en:pl_ext --> @@ -94,6 +95,7 @@ simplify() { s:<flecttabref> *:[38;5;248m:g s: *</flecttabref>:[m:g + s:<br/>:\n:g ' } |