github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-08 16:10:29 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
0a080ba03c30dab12ac2c3781d95a5b548ff74ab
zyedidia.micro/cmd
History
Zachary Yedidia 810133d5a8 Use shell job for terminal callback 
Fixes #2529
2022-08-19 15:46:01 -07:00
..
micro
Use shell job for terminal callback
2022-08-19 15:46:01 -07:00