diff options
-rw-r--r-- | .gitignore | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 14c7815ea8..42a8807bef 100644 --- a/.gitignore +++ b/.gitignore @@ -78,6 +78,7 @@ _darcs/ /libffi/dist-install/ /libraries/*/dist-boot/ /libraries/*/dist-install/ +/libraries/*/dist-newstyle/ /libraries/dist-haddock/ /rts/dist/ /utils/*/dist*/ @@ -227,8 +228,14 @@ ghc.nix/ .gdb_history .gdbinit -# Tooling - direnv +# ----------------------------------------------------------------------------- +# Tooling + +# direnv .envrc -# Tooling - vscode +# Visual Studio Code .vscode + +# clangd +.clangd |