diff options
author | Ralf Jung <post@ralfj.de> | 2019-10-21 10:36:49 +0200 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2019-10-21 18:05:48 +0200 |
commit | ebc9a1ab10ff813664778e572eaeef4a9c6fcf4f (patch) | |
tree | 07399d5309ce09ac4f697551ee3c023099eac4a7 /.gitignore | |
parent | 55b787e675e26a3b0e7513ec17936210abc42fa1 (diff) |
expand comment
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/.gitignore b/.gitignore index 81a472451d7..487867c375d 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,10 @@ -# This file should only ignore things that are generated during a build, -# generated by common IDEs, and optional files controlled by the user -# that affect the build (such as config.toml). +# This file should only ignore things that are generated during a `x.py` build, +# generated by common IDEs, and optional files controlled by the user that +# affect the build (such as config.toml). +# In particular, things like `mir_dump` should not be listed here; they are only +# created during manual debugging and many people like to clean up instead of +# having git ignore such leftovers. You can use `.git/info/exclude` to +# configure your local ignore list. # FIXME: This needs cleanup. *~ .#* @@ -52,3 +56,4 @@ config.stamp Session.vim .cargo no_llvm_build +# Before adding new lines, see the comment at the top. |