TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.
spacemacs/layers/+lang/coq/img/coq.png
Jeremy Bi 8b72130fc5 Add coq layer
2017-02-12 21:31:44 -05:00

30 KiB
177x200px
Raw History