JAL-3225 tasks to create extra desired settings for eclipse
authorsoares <bsoares@dundee.ac.uk>
Wed, 1 Apr 2020 15:37:55 +0000 (16:37 +0100)
committersoares <bsoares@dundee.ac.uk>
Wed, 1 Apr 2020 15:37:55 +0000 (16:37 +0100)
commit5a1a6b6c4f1ad6f05557be8247ee596fdafb8b62
tree30c6e8526ccb394509dd9c720421aba3d778b343
parent1c6bf99c97dfeadf9b5da550947590747863f8ea
JAL-3225 tasks to create extra desired settings for eclipse
build.gradle
utils/eclipse/org.eclipse.jdt.groovy.core.prefs [new file with mode: 0644]
utils/eclipse/org.eclipse.jdt.ui.prefs [new file with mode: 0644]