zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-18 14:55:38 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity
ffc7118af0
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