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 /.gitmodules | |
| parent | 737d2819273e7ba07d3a993422b138b93b852415 (diff) | |
remove useless and confusing option from the preferences
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions