github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-07 07:30:20 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
342149af3f5b004a586a1b415652120497cc7039
zyedidia.micro/runtime/help
History
Camille Scholtz bfbfc50018 Add ignorecase option
2016-05-18 18:44:32 +02:00
..
help.md
Add ignorecase option
2016-05-18 18:44:32 +02:00