diff options
author | Emilio Pozuelo Monfort <pochu@debian.org> | 2020-07-16 14:18:35 +0200 |
---|---|---|
committer | Emilio Pozuelo Monfort <pochu@debian.org> | 2020-07-29 10:20:41 +0200 |
commit | 2a122964f52a313dfb215edbb622413de705a0a3 (patch) | |
tree | 1052cf1fe8e7714fc8b6866a30c4bdaff4b7dc2e /lib/python/web_support.py | |
parent | 9a15667d4054ccfbe2e1f37c5f1f56d29eafcba9 (diff) |
lib/python: replace tabs with spaces
Diffstat (limited to 'lib/python/web_support.py')
-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 52fbe0068c..e12a13201a 100644 --- a/lib/python/web_support.py +++ b/lib/python/web_support.py @@ -455,7 +455,7 @@ def make_table(contents, title=None, caption=None, replacement=None, introductio cols.append(TD(col)) rows.append(Tag('tr', cols)) if rows: - if not introduction: + if not introduction: introduction='' if not title: title='' |