search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Hover/About should run with warnings off #814

Open gares opened 3 months ago

gares commented 3 months ago

About foo can cause a deprecation warning to be issued (when foo is deprecated). We don't want to see that warning twice.