mirror of
https://github.com/eclipse-jgit/jgit.git
synced 2024-09-13 15:46:45 +02:00
d60001c83b
Change-Id: Iec8cd032d8d659a896d909f9094f76b7d35147e6 Signed-off-by: Chris Aniszczyk <caniszczyk@gmail.com>
8 lines
166 B
INI
8 lines
166 B
INI
source.. = src/
|
|
output.. = bin/
|
|
bin.includes = plugin.properties,\
|
|
META-INF/,\
|
|
.
|
|
jre.compilation.profile = J2SE-1.5
|
|
additional.bundles = org.eclipse.jgit
|