github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-04-01 15:47:12 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
8ff7ec50ef9c670ce3f015174ac27586eb8ed31a
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