Remove extraneous whitespace around heading and adjust level. Pushed. Gerald --- htdocs/projects/tree-ssa/tree-browser.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/htdocs/projects/tree-ssa/tree-browser.html b/htdocs/projects/tree-ssa/tree-browser.html index 23f46e92..a6ffc46b 100644 --- a/htdocs/projects/tree-ssa/tree-browser.html +++ b/htdocs/projects/tree-ssa/tree-browser.html @@ -298,7 +298,8 @@ else TB> </pre> - <h1> Extensions </h1> + +<h2>Extensions</h2> <p>Some extensions could be added in the near future, such as including commands that allows you to modify tree structure, apply optimizations -- 2.38.0
