github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-09 08:30:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
cfb8d4a6b5192a8b785b7b3d38ca68da80a8ce7d
zyedidia.micro/cmd
History
Zachary Yedidia b507cd26f4 Exit gracefully when SIGTERM is received 
Ref #779
2020-08-01 20:18:07 -04:00
..
micro
Exit gracefully when SIGTERM is received
2020-08-01 20:18:07 -04:00