Skip to content

Commit

Permalink
remove ghost links which are disabled (#389)
Browse files Browse the repository at this point in the history
Signed-off-by: Birgit Brecknell <b@brck.nl>
  • Loading branch information
bbrcknl authored Aug 19, 2024
1 parent c9574de commit b6564c7
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions _news-items/2021-08-31-ghost.html
Original file line number Diff line number Diff line change
Expand Up @@ -6,11 +6,9 @@
---

<p>
<a href="https://driveghost.com/">
<img src="../Foundation/Membership/LOGOS/GHOST.svg" style="width: 20%; padding-left:10px; float:right"
<img src="../Foundation/Membership/LOGOS/GHOST.svg" style="width: 20%; padding-left:10px; float:right"
alt="Ghost logo">
</a>
The seL4 Foundation thanks <a href="https://driveghost.com/">Ghost</a> for its
The seL4 Foundation thanks Ghost for its
generous contribution. Ghost's commitment strengthens the seL4
Foundation's mission to continue advancing the ecosystem, the code
base, and the verification efforts of seL4, the world's most
Expand Down

0 comments on commit b6564c7

Please sign in to comment.