github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-09 14:20:16 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
c767b3dc0ca73b5d7f6e6380b8b05a93a2a28ae2
zyedidia.micro/tools
History
Zachary Yedidia 87108bfed8 Add -version option 
Fixes #33
2016-04-19 13:40:30 -04:00
..
cross-compile.sh
Add -version option
2016-04-19 13:40:30 -04:00