diff --git a/pages/coq-team.html b/pages/coq-team.html index d1563c206c..31e94f6679 100644 --- a/pages/coq-team.html +++ b/pages/coq-team.html @@ -3,22 +3,6 @@ <#def WITHOUTSIDEBAR>1#def> <#def HEAD>