aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2015-11-09 18:52:46 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2015-11-09 18:52:46 +0100
commit1b91170736f02445cd86c896c9cb6fefe8af45af (patch)
tree8e76e96e2cecbe0a6245136538e21b8528609b71 /.gitignore
parent85324857cccb01bfd41bf83d415d37c4df4b76f4 (diff)
Do not minimize project explorer, fix bug in project switcher
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint