diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-21 21:37:26 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-21 21:37:26 +0300 |
commit | c975ef8d15438e151f94a0a7f3d1adb6ac7918dc (patch) | |
tree | 327096fd206f4361bea3245959afedaae515cf85 /src | |
parent | 355dcf6675673b7b671a6452b56a29c7663882dc (diff) |
Remove Eclipse project files (#1928)
No one of the core devs is currently using Eclipse, so the Eclipse
project files are essentially useless since they are not guaranteed to
be up-to-date.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions