diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-04-02 15:21:39 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-04-02 15:21:39 +0100 |
| commit | 53c06909bec4b7c3bfb399b5823b356bd5e6b19b (patch) | |
| tree | 522b8cd9b0588c99e0ddb6096ba7ac5b0c5b4679 /.settings/org.eclipse.core.resources.prefs | |
| parent | 7fccda0f13f6f8b7f7a1f6e87a648fe1c3396656 (diff) | |
Allow richer description of file list
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
0 files changed, 0 insertions, 0 deletions