kylefang/asdf-plugins
1
0
Fork 0
mirror of https://github.com/placeholder-soft/asdf-plugins.git synced 2026-04-24 03:55:07 +08:00
Code Issues Packages Projects Releases Wiki Activity

add coq plugin

Browse Source 
add coq plugin git repo address
This commit is contained in:
B1nj0y
2017-12-12 12:43:42 +08:00
committed by vic
parent 0d07ec944b
commit 0ab2b2ec85
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
plugins/coq Normal file
View File

@@ -0,0 +1 @@
repository = https://github.com/gingerhot/asdf-coq.git