diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 29 |
1 files changed, 6 insertions, 23 deletions
diff --git a/.gitignore b/.gitignore index 2074141ec261..0b135e70341b 100644 --- a/.gitignore +++ b/.gitignore @@ -1,24 +1,7 @@ -bazel-* -build/ -build-*/ -reports/ -doc/_build -doc/_doxygen -bazel-* +# Ignore the garbage folder, in which I slowly assemble a bunch of +# trash locally that might be valuable in the future. +garbage/ -tools/travis/ssh-key -tools/clojure/target/ -tools/scala/target/ -tools/scala/project/target/ - -extra/js/out -extra/js/boost - -__pycache__ - -.gdb_history - -.cache -tools/clojure/.lein* - -*.pyc +# Ignore Nix result symlinks +result +result-* |