Gaze/SpaceVim
1
0
Fork 0
mirror of https://github.com/SpaceVim/SpaceVim.git synced 2025-03-15 19:45:46 +08:00
Code Issues Projects Releases Wiki Activity
3,414 Commits 1 Branch 25 Tags
Commit Graph

1 Commits

Author SHA1 Message Date
Wang Shidong
8928d1ce1e
Add lang#agda layer (#1941) 
* Add lang#agda layer
 2018-08-05 13:21:57 +08:00