github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-22 15:00:26 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
96209cbeb08d9f40af41d15e7d80e610a97b7945
zyedidia.micro/cmd
History
Zachary Yedidia 93361fe72d Fix issue with settings.json
2016-08-30 11:32:23 -04:00
..
micro
Fix issue with settings.json
2016-08-30 11:32:23 -04:00