github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-18 13:00:25 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
660f1e181a694d573ef7bd9a5c21611a50fab4de
zyedidia.micro/cmd
History
Zachary Yedidia 660f1e181a Add julia rules 
Fixes #781
2017-08-14 11:59:29 -04:00
..
micro
Add julia rules
2017-08-14 11:59:29 -04:00