From e5e79f9b2bf40ae2b651fcae65b43871d55d0d71 Mon Sep 17 00:00:00 2001 From: zapashcanon Date: Fri, 15 Nov 2024 11:46:44 +0100 Subject: [PATCH] update funding note --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 9c0cb1944..bb85766a4 100644 --- a/README.md +++ b/README.md @@ -150,7 +150,7 @@ Some code has been taken from the E-ACSL plugin of Frama-C. It is licensed under ### Fundings -This project was funded through the [NGI0 Core] Fund, a fund established by [NLnet] with financial support from the European Commission's [Next Generation Internet] programme. See [Owi project on NLnet]. +This project was partly funded through the [NGI0 Core] Fund, a fund established by [NLnet] with financial support from the European Commission's [Next Generation Internet] programme. See [Owi project on NLnet]. [CHANGELOG]: ./CHANGES.md [dune-project]: ./dune-project