example.settings.json -> settings-example.json to prevent clash

ApolloResearch · Feb 2, 2024 · e3bd0c1 · e3bd0c1
1 parent 7da8c42
commit e3bd0c1
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.vscode/example.settings.json → .vscode/settings-example.json b/.vscode/example.settings.json → .vscode/settings-example.json
diff --git a/README.md b/README.md
@@ -28,7 +28,7 @@ make install  # To just install the package (runs `pip install -e .`)
 ## Development
 
 Suggested extensions and settings for VSCode are provided in `.vscode/`. To use the suggested
-settings, copy `.vscode/example.settings.json` to `.vscode/settings.json`.
+settings, copy `.vscode/settings-example.json` to `.vscode/settings.json`.
 
 There are various `make` commands that may be helpful