diff options
author | Holger Levsen <holger@debian.org> | 2014-12-01 10:39:27 +0000 |
---|---|---|
committer | Holger Levsen <holger@debian.org> | 2014-12-01 10:39:27 +0000 |
commit | aacf85e97c38485ab2a66c04c173ce5e4a57df1f (patch) | |
tree | 6885728e3b4fa2953b4cd3dd1143414de097bd5f /lib | |
parent | 82fccae175b133d17b6b407621f14fa7504026f9 (diff) |
embedd all notes in <span> tags
git-svn-id: svn+ssh://svn.debian.org/svn/secure-testing@30469 e39458fd-73e7-0310-bf30-c45bca0a0e42
Diffstat (limited to 'lib')
-rw-r--r-- | lib/python/web_support.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/python/web_support.py b/lib/python/web_support.py index dc8181f018..3721cae6ed 100644 --- a/lib/python/web_support.py +++ b/lib/python/web_support.py @@ -481,7 +481,7 @@ def make_pre(lines): else: append(group) else: - append(line) + append(tag("SPAN",line)) append(BR()) return tag('pre', pre) |