jflack/yasnippet-snippets
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
859 commits 1 branch 0 tags 1.5 MiB
Commit graph

1 commit

Author SHA1 Message Date
Peter Urbak
2eac2f8b6f Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00