https://github.com/coq-ext-lib/coq-ext-lib
Tip revision: f3d86bc157e0cc282c9e8041136fbf7eb4275170 authored by Yishuai Li on 06 March 2024, 07:19:27 UTC
Update stale.yml
Update stale.yml
Tip revision: f3d86bc
.gitignore
*.vo
*.glob
*.v.d
*.cmi
*.cmx
*.cmxs
*.native
*.o
*.aux
Makefile.coq*
Makefile.opam.coq
*~
\#*
.#*
.dir-locals.el
deps.dot
deps.pdf
.coqdeps.d
.DS_Store
html
index.md
index.html
*.coq.d
*.vok
*.vos
.lia.cache
