jflack
/
yasnippet-snippets
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
859 Commits 1 Branch 0 Tags 1.8 MiB
Commit Graph

1 Commits

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