deploy: seL4/website@c315d73

seL4 · Jul 15, 2024 · 6e92d02 · 6e92d02
1 parent 864159c
commit 6e92d02
Show file tree

Hide file tree

Showing 3 changed files with 134 additions and 134 deletions.
diff --git a/PR_375/news/2024.html b/PR_375/news/2024.html
@@ -147,7 +147,7 @@ <h1>
     To celebrate these key anniversaries, a special panel will gather at the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> to reflect on the journey over the past 20 years and discuss the future ahead. Stay tuned for more info.
     </p>
     <p>
-    <img src="../images/happy-seL4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
+    <img src="../images/happy-sel4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
     </p>
   </div>
 </div>

diff --git a/PR_375/news/index.html b/PR_375/news/index.html
@@ -146,7 +146,7 @@ <h1>
     To celebrate these key anniversaries, a special panel will gather at the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> to reflect on the journey over the past 20 years and discuss the future ahead. Stay tuned for more info.
     </p>
     <p>
-    <img src="../images/happy-seL4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
+    <img src="../images/happy-sel4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
     </p>
   </div>
 </div>
-Original file line number
+Diff line change
@@ Expand Up / @@ -147,7 +147,7 @@ <h1> @@
         To celebrate these key anniversaries, a special panel will gather at the <a href="../Foundation/Summit/2024">seL4 summit 2024</a> to reflect on the journey over the past 20 years and discuss the future ahead. Stay tuned for more info.
         </p>
         <p>
-        <img src="../images/happy-seL4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
+        <img src="../images/happy-sel4-day.svg" style="width: 250px; padding-top: 10px; padding-bottom: 5px; display: block; margin-left: auto; margin-right: auto;" alt="happy sel4 day" />
         </p>
       </div>
     </div>
@@ Expand Down @@