github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-28 18:00:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
1,117 Commits 24 Branches 41 Tags
712b383e2cc2ac396ea2556f7ef4a356aa889221
Commit Graph

4 Commits

Author SHA1 Message Date
Andy Kluger
690610d4b1 recognize zsh-themes as zsh filetypes 2017-02-21 14:56:57 -05:00
Zachary Yedidia
8803d93872 Make all filetype names lowercase 
This may be a breaking change if you are using a plugin that
checks the filetype. All the default plugins are now updated,
just make the filetype you were checking for previously all
lowercase.
 2016-08-25 15:48:02 -04:00
Zachary Yedidia
d1d55277f7 Update syntax files 2016-03-25 16:41:36 -04:00
Zachary Yedidia
d20df210d0 Add cross-compilation script 2016-03-22 18:17:11 -04:00