diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/opt-viewer/opt-viewer.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/opt-viewer/opt-viewer.py b/tools/opt-viewer/opt-viewer.py index 4483b94fc7f..27b36064ced 100755 --- a/tools/opt-viewer/opt-viewer.py +++ b/tools/opt-viewer/opt-viewer.py @@ -130,6 +130,7 @@ class SourceFileRenderer: print(''' <html> +<meta charset="utf-8" /> <head> <link rel='stylesheet' type='text/css' href='style.css'> </head> @@ -173,6 +174,7 @@ class IndexRenderer: def render(self, all_remarks): print(''' <html> +<meta charset="utf-8" /> <head> <link rel='stylesheet' type='text/css' href='style.css'> </head> |