diff options
author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-10 10:39:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-10 10:39:40 +0200 |
commit | 83b837a7f911ea56ca3c466a43a7c3958eb24b13 (patch) | |
tree | c3a514dc480cbe2236d711de84432dad80183c00 /.gitignore | |
parent | 87a8c5706deae871def85a044156362f2dafef10 (diff) | |
download | rust-83b837a7f911ea56ca3c466a43a7c3958eb24b13.tar.gz |
.gitignore: Explain why `/obj/` is ignoredgitignore-readd-tmp
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index a7dd5a13b6f..81a472451d7 100644 --- a/.gitignore +++ b/.gitignore @@ -27,6 +27,7 @@ __pycache__/ /inst/ /llvm/ /mingw-build/ +# Created by default with `src/ci/docker/run.sh`: /obj/ /rustllvm/ /src/libcore/unicode/DerivedCoreProperties.txt |