Close link element in footer

xavierleroy / coq2html

An HTML documentation generator for Coq source files

GNU General Public License v2.0

30 stars 11 forks source link

Closed Firobe closed 5 years ago

Firobe commented 5 years ago

Because an error in the advertisement is not good for sales !

xavierleroy commented 5 years ago

Well spotted, thanks a lot!