Update 'docs' folder with main and delete old branches.

RWTH-EBC · Jul 26, 2024 · 24c6246 · 24c6246
1 parent f6bfe2e
commit 24c6246
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/main/index.html b/docs/main/index.html
@@ -10,8 +10,6 @@
             <header>
     	      <br><li><a href="naming_violations.txt" target="content">naming_violations.txt</a></li></br>
     	      <br><li><a href="om_readiness_badge.svg" target="content">om_readiness_badge.svg</a></li></br>
-    	      <br><li><a href="syntax/HTML_error_log.txt" target="content">syntax/HTML_error_log.txt</a></li></br>
-    	      <br><li><a href="syntax/HTML_correct_log.txt" target="content">syntax/HTML_correct_log.txt</a></li></br>
             </header>
 
           </body>