Skip to content

Commit

Permalink
Add missing logo
Browse files Browse the repository at this point in the history
  • Loading branch information
thierrymarianne committed Nov 12, 2021
1 parent a6d757c commit 62748e8
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -134,8 +134,10 @@ We're very grateful towards the following organizations, projects and people:
The RVT tools allowed us to integrate with industrial-grade verification tools in a very effective way.
- the KLEE Symbolic Execution Engine maintainers
- the Rust community at large
- All members of the NGI-Ledger Consortium for accompanying us
[![Blumorpho](../main/img/blumorpho-logo.png?raw=true)](https://www.blumorpho.com/) [![Dyne](../main/img/dyne-logo.png?raw=true)](https://www.dyne.org/ledger/) [![FundingBox](../main/img/funding-box-logo.png?raw=true)](https://fundingbox.com/) [![NGI LEDGER](../main/img/ledger-eu-logo.png?raw=true)](https://ledger-3rd-open-call.fundingbox.com/)
- All members of the NGI-Ledger Consortium for accompanying us
[![Blumorpho](../main/img/blumorpho-logo.png?raw=true)](https://www.blumorpho.com/) [![Dyne](../main/img/dyne-logo.png?raw=true)](https://www.dyne.org/ledger/)
[![FundingBox](../main/img/funding-box-logo.png?raw=true)](https://fundingbox.com/) [![NGI LEDGER](../main/img/ledger-eu-logo.png?raw=true)](https://ledgerproject.eu/)
[![European Commission](../main/img/european-commission-logo.png?raw=true)](https://ec.europa.eu/programmes/horizon2020/en/home)

# License

Expand Down
Binary file added img/european-commission-logo.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

0 comments on commit 62748e8

Please sign in to comment.