github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-06 23:20:18 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
d8abfd3999fb4a9bae97da3b96d7850b22ac406e
zyedidia.micro/data
History
Alexander Wilms d8abfd3999 Improve metainfo file (#2910)
2023-09-09 19:17:37 -07:00
..
io.github.zyedidia.micro.metainfo.xml
Improve metainfo file (#2910)
2023-09-09 19:17:37 -07:00
micro.json
Add config JSON schema (#2697)
2023-05-16 22:16:17 -07:00