diff mbox series

[committed] wwwdocs: projects/tree-ssa: Adjust mark up

Message ID 20221101094525.CD8F533E65@hamza.pair.com
State Committed
Headers
Series [committed] wwwdocs: projects/tree-ssa: Adjust mark up |

Commit Message

Gerald Pfeifer Nov. 1, 2022, 9:45 a.m. UTC 
  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 mbox series

Patch

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