deploy: seL4/website@835eb2f

seL4 · Jul 2, 2024 · 756daa7 · 756daa7
1 parent dafbd3b
commit 756daa7
Show file tree

Hide file tree

Showing 4 changed files with 137 additions and 137 deletions.
diff --git a/PR_374/index.html b/PR_374/index.html
@@ -102,7 +102,7 @@ <h4>
     <ul>
       <li>
         <strong>
-          2 July 2024: new seL4 release available
+          2 July 2024: New seL4 release available
         </strong>
       </li>
       <li>

diff --git a/PR_374/news/2024.html b/PR_374/news/2024.html
@@ -126,8 +126,8 @@ <h1>
 -->
 <!----------------------------------------------------------->
 
-<div class="news-item tag-link" id="#seL4-13.0.0">
-  <a href="#seL4-13.0.0"><span class="tag-span"># </span></a> 2 July 2024: new seL4 release available
+<div class="news-item tag-link" id="seL4-13.0.0">
+  <a href="#seL4-13.0.0"><span class="tag-span"># </span></a> 2 July 2024: New seL4 release available
 </div>
 <div>
  <p>

diff --git a/PR_374/news/index.html b/PR_374/news/index.html
@@ -125,8 +125,8 @@ <h1>
 -->
 <!----------------------------------------------------------->
 
-<div class="news-item tag-link" id="#seL4-13.0.0">
-  <a href="#seL4-13.0.0"><span class="tag-span"># </span></a> 2 July 2024: new seL4 release available
+<div class="news-item tag-link" id="seL4-13.0.0">
+  <a href="#seL4-13.0.0"><span class="tag-span"># </span></a> 2 July 2024: New seL4 release available
 </div>
 <div>
  <p>