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

RWTH-EBC · Nov 28, 2024 · 716eec5 · 716eec5
1 parent 77dc272
commit 716eec5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/main/index.html b/docs/main/index.html
@@ -8,7 +8,6 @@
           </head>
           <body>
             <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>
             </header>