deploy: seL4/website@0e45a7d

seL4 · Jul 2, 2024 · dafbd3b · dafbd3b
1 parent 8f99709
commit dafbd3b
Show file tree

Hide file tree

Showing 3 changed files with 136 additions and 136 deletions.
diff --git a/PR_374/news/2024.html b/PR_374/news/2024.html
@@ -126,12 +126,12 @@ <h1>
 -->
 <!----------------------------------------------------------->
 
-<div class="news-item tag-link" id="brief-unique-anchor-name">
+<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>
-  <img src="../images/sel4.svg" style="width: 15%; float:right" alt="sel4 logo" />
+  <img src="../images/seL4.svg" style="width: 15%; float:right" alt="sel4 logo" />
 
   It's been a long time coming -- we’re pleased to announce the release of
 </p>

diff --git a/PR_374/news/index.html b/PR_374/news/index.html
@@ -125,12 +125,12 @@ <h1>
 -->
 <!----------------------------------------------------------->
 
-<div class="news-item tag-link" id="brief-unique-anchor-name">
+<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>
-  <img src="../images/sel4.svg" style="width: 15%; float:right" alt="sel4 logo" />
+  <img src="../images/seL4.svg" style="width: 15%; float:right" alt="sel4 logo" />
 
   It's been a long time coming -- we’re pleased to announce the release of
 </p>