diff options
| author | Parménides GV <parmegv@sdf.org> | 2013-12-10 20:45:35 +0100 |
|---|---|---|
| committer | Parménides GV <parmegv@sdf.org> | 2013-12-10 20:45:35 +0100 |
| commit | f35ac034aae5c344bcb84e6bfb17fe0886a4042a (patch) | |
| tree | 8e8873e25448e3fa491d262bccc9353836675f75 /.settings/org.eclipse.jdt.core.prefs | |
| parent | dca94d79c3391568b4228cab26ea2f02de46cde4 (diff) | |
Fixed algorithm to hide all but one provider.
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
0 files changed, 0 insertions, 0 deletions