github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-10 17:10:19 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
d5ff785559b0805713eb0f2f809f761502e372d1
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