From 33fab92f2af1594d118c0c7748819108030eb1ff Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Fri, 20 Aug 2021 11:33:28 +0200 Subject: Advertise the release of coqffi beta 6 and 7 --- site/news/index.html | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'site') diff --git a/site/news/index.html b/site/news/index.html index 43315c0..3e8842c 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -3,6 +3,14 @@

2021