diff options
| author | Mohamed Zenadi <mohamed@zenadi.com> | 2015-06-07 13:47:42 +0200 |
|---|---|---|
| committer | Mohamed Zenadi <mohamed@zenadi.com> | 2015-06-07 14:33:02 +0200 |
| commit | 2022cf3d6ef874ef08bb1199f90d15e732613b61 (patch) | |
| tree | b9a2a12630b5693e0c790d903e5fe24ab533ddd2 /.idea/libraries | |
| parent | 85d4ca3f965e558cc3fa7eb0a8de41cc2c7f0e72 (diff) | |
fix provider list preference not saving correctly
Diffstat (limited to '.idea/libraries')
0 files changed, 0 insertions, 0 deletions