developomp 618c42d436 more accurate platform name		2022-01-16 10:09:38 +09:00
..
about.md	more accurate platform name	2022-01-16 10:09:38 +09:00
goals.md	changed prettier config	2022-01-11 17:25:15 +09:00