search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

index.md: replace Octocat URL #127

Open liyishuai opened 6 months ago

liyishuai commented 6 months ago

The current link yields 404 Not Found.

The proposed link comes from an unofficial Gist: https://gist.github.com/johan/1007813 .

Tested in https://coq-community.org/coq-ext-lib/