diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 4c18d59eae04..575eb3c0e997 100644 --- a/.gitignore +++ b/.gitignore @@ -58,9 +58,11 @@ /set_soenv.stamp /warn /build.log +/post_download.log /install /downloaded /*.Set.sh +/Env.Build.sh /ID /tags /docs |