diff options
author | Mohamed Zenadi <mohamed@zenadi.com> | 2016-12-11 17:32:53 +0100 |
---|---|---|
committer | Mohamed Zenadi <mohamed@zenadi.com> | 2016-12-11 17:32:53 +0100 |
commit | 5644c06f2a51bf495ceaab2a27b0482436093c31 (patch) | |
tree | 9b9228ab9afa623ba8c1596d32119932065a3e93 /.idea/libraries | |
parent | 737d2819273e7ba07d3a993422b138b93b852415 (diff) |
remove useless and confusing option from the preferences
Diffstat (limited to '.idea/libraries')
0 files changed, 0 insertions, 0 deletions