Fork of micro-editor/micro

Fix appdata file (#2793)

* 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


Author blt__ Committer GitHub Date Commit Parent d5f6b626
+4 -1
1 changed file
+4 -1
1 changed file