github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-05 22:50:21 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
8d8bc58f91c2b1eb3e156ccb3b2c31acfd12086f
zyedidia.micro/.github
History
Zachary Yedidia d1af21f626 Convert ci to github actions
2023-01-30 17:34:37 -08:00
..
workflows
Convert ci to github actions
2023-01-30 17:34:37 -08:00
ISSUE_TEMPLATE
Hide ISSUE_TEMPLATE version help into a comment (#1532)
2020-02-24 13:49:45 -05:00