summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-11-25 23:56:56 +0100
committertv <tv@krebsco.de>2016-11-25 23:56:56 +0100
commitda3128b3d91cd29485b19a1ce2fd361708507600 (patch)
tree03e7192872cfac57524677dbac5bcd2b675cbe7a
parentac423ec222b0f6e5e66d019a8279fb72cb6bd8ab (diff)
relax parser for "repr" open tagv1.0.1
-rwxr-xr-xdic2
1 files changed, 1 insertions, 1 deletions
diff --git a/dic b/dic
index d02af15..7635b9a 100755
--- a/dic
+++ b/dic
@@ -26,7 +26,7 @@ GET() {
simplify() {
sed '
- s|<repr>|\nREPR: |g
+ s|<repr\( [^>]*\)>|\nREPR: |g
s|</repr>|\n|g
' | grep ^REPR |
sed '