deploy: seL4/website@ba95e2b

seL4 · Jul 15, 2024 · 864159c · 864159c
1 parent 98b2ab6
commit 864159c
Show file tree

Hide file tree

Showing 4 changed files with 136 additions and 148 deletions.
diff --git a/PR_375/images/happy-sel4-day.svg.license b/PR_375/images/happy-sel4-day.svg.license
@@ -0,0 +1,2 @@
+Copyright 2024 June Andronick
+SPDX-License-Identifier: CC-BY-SA-4.0
diff --git a/PR_375/news/2024.html b/PR_375/news/2024.html
@@ -147,14 +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,14 +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 number	Diff line change
		@@ -0,0 +1,2 @@
		Copyright 2024 June Andronick
		SPDX-License-Identifier: CC-BY-SA-4.0