Sridhar Ratnakumar 71aea50f8e vscode: may need pure nix-shell		2022-08-09 18:51:09 -04:00
..
extensions.json	Switch to treefmt; resolves #283	2022-05-04 16:24:34 -04:00
settings.json	vscode: may need pure nix-shell	2022-08-09 18:51:09 -04:00
tasks.json	Update tasks.json	2021-05-31 19:34:35 -04:00