github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-06 12:50:22 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
aaf098bb472207352c5b67c7d8f30b9c28763df3
zyedidia.micro/cmd
History
Zachary Yedidia aaf098bb47 Update tex syntax file
2018-01-29 18:02:43 -05:00
..
micro
Update tex syntax file
2018-01-29 18:02:43 -05:00