Remove redundant release badge
Provided that the latest version of this crate is always published on crates.io and tagged as a release on GitHub.com, the crates.io and the GitHub.com release badges will always show the same version. Consequently, remove the GitHub.com release badge to avoid redundancy.
This commit is contained in:
parent
a446aed011
commit
3a5788bd24
@ -1,4 +1,4 @@
|
||||
# foliage [](https://github.com/potassco/foliage/releases) [](https://crates.io/crates/foliage)
|
||||
# foliage [](https://crates.io/crates/foliage)
|
||||
|
||||
> First-order logic with integer arithmetics in Rust
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user