Fix package - Githubissues

Ailrun / coq-commenter

Coq commenter for Emacs

GNU General Public License v3.0

6 stars 2 forks source link

Fix package #1

Closed syohex closed 8 years ago

syohex commented 8 years ago

Add package footer
Add package dependency header

Ailrun commented 8 years ago

Thank you for fixing this!