From affeb7471b76b786697d9a130e412aa2a84c8284 Mon Sep 17 00:00:00 2001 From: glyn Date: Sat, 17 Aug 2024 13:41:30 +0000 Subject: [PATCH] deploy: 1dfaa9494c880994362ba0307b68ef1a18db8153 --- applications.html | 2 +- print.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/applications.html b/applications.html index e92518b..33da613 100644 --- a/applications.html +++ b/applications.html @@ -228,7 +228,7 @@

intermezzOS OS
  • nalgebra - a linear algebra library
  • OpenPGP Card
  • -
  • Plotly.rs
  • +
  • Plotly.rs
  • PNGme: An Intermediate Rust Project
  • Prusti user guide - a Rust verifier
  • Rama Proxy - modular services framework
  • diff --git a/print.html b/print.html index 7ef24b6..773b19d 100644 --- a/print.html +++ b/print.html @@ -393,7 +393,7 @@

    intermezzOS OS
  • nalgebra - a linear algebra library
  • OpenPGP Card
  • -
  • Plotly.rs
  • +
  • Plotly.rs
  • PNGme: An Intermediate Rust Project
  • Prusti user guide - a Rust verifier
  • Rama Proxy - modular services framework