Mikayla Maki 0bb7e19a89 Changed CI and default.json to run clippy

2022-08-10 09:11:06 -07:00

..

default.json

Changed CI and default.json to run clippy

2022-08-10 09:11:06 -07:00

initial_user_settings.json

Avoid copying all default settings to initial user settings

2022-07-13 17:07:41 -07:00