Ben Liblit 651f40c170 Replace source directories rather than appending to them ... I was confused about the differences among: srcDir 'foo' srcDirs ['foo'] srcDirs = ['foo'] As it turns out, the first two append to the set of source directories, while the last replaces this set entirely. I generally want replacement, since WALA's current directory layout never matches Gradle's assumed defaults.		2018-04-17 15:02:35 -05:00
..
.settings	Many improvements to Gradle build support, including within Eclipse	2018-04-17 15:02:35 -05:00
META-INF	java 8 changes	2017-08-25 10:58:00 -04:00
OSGI-INF/l10n	Externalize bundle names and vendors	2017-06-07 17:42:11 +02:00
source/com/ibm/wala	Resolve the last two Eclipse warnings about using raw types	2018-04-13 12:53:33 -05:00
.classpath	Many improvements to Gradle build support, including within Eclipse	2018-04-17 15:02:35 -05:00
.project	Many improvements to Gradle build support, including within Eclipse	2018-04-17 15:02:35 -05:00
build.gradle	Replace source directories rather than appending to them	2018-04-17 15:02:35 -05:00
build.properties	Externalize bundle names and vendors	2017-06-07 17:42:11 +02:00
pom.xml	version 1.4.4-SNAPSHOT	2017-08-06 07:25:20 -07:00