gcc-wwwdocs branch master updated. 6f0743aeca7a1a18089229a0defd23cf44d3e453

gcc-wwwdocs branch master updated. 6f0743aeca7a1a18089229a0defd23cf44d3e453

[Gerald Pfeifer]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  6f0743aeca7a1a18089229a0defd23cf44d3e453 (commit)
      from  0550eba8036643fbb9528298f51b07caf608c847 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 6f0743aeca7a1a18089229a0defd23cf44d3e453
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Tue Nov 1 10:44:02 2022 +0100

    projects/tree-ssa: Adjust mark up
    
    Remove extraneous whitespace around heading and adjust level.

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&gt;  
 </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

-----------------------------------------------------------------------

Summary of changes:
 htdocs/projects/tree-ssa/tree-browser.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs