diff options
author | knuthy <knuthy@gmail.com> | 2014-08-15 17:00:18 +0200 |
---|---|---|
committer | knuthy <knuthy@gmail.com> | 2014-08-15 17:00:18 +0200 |
commit | 4e8397a74c35f20b35a84c0bbf17f82be9d57dd7 (patch) | |
tree | 6a7c99292553956c3c23769c9fc5ce83dd403cdb /.idea/misc.xml | |
parent | 390a7ec82598ba25f3dfa536ae819e771393f65b (diff) |
more improvements to the expandable list
- Deletion is working flawlessly
- refresh works better now, especially after add
- Added the possibility to refresh list after gitasync
Diffstat (limited to '.idea/misc.xml')
0 files changed, 0 insertions, 0 deletions