* Add <content_rating> to appdata file
* Add <project_license> to appdata file
* Change application_id to use github.io instead of github.com
Github actually gives username.github.io domains and not username.github.com,
therefore it is more correct to use .io top level domain.
We can use <provides><id>...</id></provides> for everyone who expected
the old application_id
2023-04-08 00:10:43 -07:00
Renamed from data/com.github.zyedidia.micro.metainfo.xml (Browse further)