and that was all

This commit is contained in:
2023-12-10 23:01:34 +01:00
parent 5c2f9b136a
commit 668e90ab6c
4 changed files with 124 additions and 23 deletions

View File

@ -64,9 +64,7 @@ draft = false
<h2><i class="bi bi-lightbulb"></i> Examples</h2>
<div class="row w-25 mx-auto pb-3 my-3">
<div class="col">
<a
href="https://egit.irs.uni-stuttgart.de/rust/sat-rs/src/branch/main/satrs-example"
class="col d-flex flex-column justify-content-center text-decoration-none"