diff options
author | David Williams | 2013-09-16 21:00:29 +0000 |
---|---|---|
committer | David Williams | 2013-09-16 21:00:29 +0000 |
commit | 7f5ba5093f23935f93dba397de48b8ee7c979753 (patch) | |
tree | 6e5b5cdc5c1af4b8f01725f6f426c3b96fe6092c /.gitignore | |
parent | a9d29426dd2d204923863fa8fdfc436c51d5409a (diff) | |
download | eclipse.platform.releng.aggregator-7f5ba5093f23935f93dba397de48b8ee7c979753.tar.gz eclipse.platform.releng.aggregator-7f5ba5093f23935f93dba397de48b8ee7c979753.tar.xz eclipse.platform.releng.aggregator-7f5ba5093f23935f93dba397de48b8ee7c979753.zip |
Bug 417369 - gitCache not completely cleaned between runs?
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 39ed0780c..c6ea52e26 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ settings.xml setup.sh *~ *.bak +workspace/ |