zyedidia/micro
1
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2024-09-11 20:17:31 +03:00
Code Issues Projects Releases Wiki Activity
9e808832f1
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