developomp 2c7a5adeb4 added more setup scripts		2022-01-30 15:28:14 +09:00
..
extensions.json	python rewrite initial commit	2022-01-27 11:01:01 +09:00
settings.json	added more setup scripts	2022-01-30 15:28:14 +09:00