diff options
| author | Michael Williamson <mike@zwobble.org> | 2015-10-06 21:08:49 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2015-10-06 21:08:49 +0100 |
| commit | b34644b9abecdeb52e7d9ba528505e45d1d0fbe4 (patch) | |
| tree | 3562ec1e59c588f50f3be7df205950256be9a162 /.settings/org.eclipse.core.resources.prefs | |
| parent | bb9bd25ef93d06deda2c293f01b3a3cdb769c10c (diff) | |
Add dependency on Eclipse JDT
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
0 files changed, 0 insertions, 0 deletions