Remove "consortium support services" section

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed SkySkimmer closed 7 months ago

SkySkimmer commented 8 months ago

This doesn't exist anymore.

SkySkimmer commented 8 months ago

cc @ybertot

mattam82 commented 7 months ago

@SkySkimmer @ybertot should I merge?

ybertot commented 7 months ago

Yes