diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 18:52:46 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-11-09 18:52:46 +0100 |
| commit | 1b91170736f02445cd86c896c9cb6fefe8af45af (patch) | |
| tree | 8e76e96e2cecbe0a6245136538e21b8528609b71 /.gitignore | |
| parent | 85324857cccb01bfd41bf83d415d37c4df4b76f4 (diff) | |
Do not minimize project explorer, fix bug in project switcher
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions