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
c55fb3329f11c7539beae021063b3e04d9f0cfd2
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