Mikayla Maki e7540d2833 Changed CI and default.json to run clippy		2022-08-10 16:51:01 -07:00
..
default.json	Changed CI and default.json to run clippy	2022-08-10 16:51:01 -07:00
initial_user_settings.json	Avoid copying all default settings to initial user settings	2022-07-13 17:07:41 -07:00