search

coq / stdlib2

GNU Lesser General Public License v2.1
39 stars 9 forks source link

Fix CONTRIBUTING link in README #16

Closed NJBS closed 5 years ago

NJBS commented 5 years ago

Markdown relative link format was incorrect.