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/libraries | |
| 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/libraries')
0 files changed, 0 insertions, 0 deletions