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

RWTH-EBC · Nov 30, 2024 · 2e868a4 · 2e868a4
1 parent 1c41dcb
commit 2e868a4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/main/index.html b/docs/main/index.html
@@ -8,6 +8,7 @@
           </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>