deploy: seL4/website@6a17e7b

seL4 · Sep 30, 2024 · 7348839 · 7348839
1 parent e581428
commit 7348839
Show file tree

Hide file tree

Showing 4 changed files with 139 additions and 139 deletions.
diff --git a/PR_395/index.html b/PR_395/index.html
@@ -102,7 +102,7 @@ <h4>
     <ul>
       <li>
         <strong>
-          30 Sep 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
+          02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
         </strong>
       </li>
 

diff --git a/PR_395/news/2024.html b/PR_395/news/2024.html
@@ -104,9 +104,9 @@ <h1>
   </div>
 </div>
 
-<div class="news-item tag-link" id="09-30">
-  <a href="#09-30"><span class="tag-span"># </span></a>
-  30 Sep 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
+<div class="news-item tag-link" id="10-02">
+  <a href="#10-02"><span class="tag-span"># </span></a>
+  02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
 </div>
 <div>
 

diff --git a/PR_395/news/index.html b/PR_395/news/index.html
@@ -103,9 +103,9 @@ <h1>
   </div>
 </div>
 
-<div class="news-item tag-link" id="09-30">
-  <a href="#09-30"><span class="tag-span"># </span></a>
-  30 Sep 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
+<div class="news-item tag-link" id="10-02">
+  <a href="#10-02"><span class="tag-span"># </span></a>
+  02 Oct 2024: Welcome NIO, Silver sponsor of the seL4 Summit 2024
 </div>
 <div>