Merge pull request 'Custom badges' (#125) from try-custom-badges into main

Reviewed-on: #125
2024-02-20 14:57:10 +01:00 · 2024-02-20 14:57:10 +01:00 · f1611cd5b8
commit f1611cd5b8
parent 52be26829b 808126ee41
1 changed files with 2 additions and 0 deletions
--- a/README.md
+++ b/README.md
@ -1,5 +1,7 @@
 <p align="center"> <img src="misc/satrs-logo.png" width="40%"> </p>

+[![sat-rs website](https://img.shields.io/badge/sat--rs-website-darkgreen?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/)
+[![sat-rs book](https://img.shields.io/badge/sat--rs-book-darkgreen?style=flat)](https://absatsw.irs.uni-stuttgart.de/projects/sat-rs/book/)
 [![Crates.io](https://img.shields.io/crates/v/satrs)](https://crates.io/crates/satrs)
 [![docs.rs](https://img.shields.io/docsrs/satrs)](https://docs.rs/satrs)