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 /inst/GUI/png/SFO,_one_met.png | |
parent | 85324857cccb01bfd41bf83d415d37c4df4b76f4 (diff) |
Do not minimize project explorer, fix bug in project switcher
Diffstat (limited to 'inst/GUI/png/SFO,_one_met.png')
0 files changed, 0 insertions, 0 deletions