Explorar el Código

Add "resources/" as a source folder

Building jgit with pde.build was broken without resources.

Bug:315823
Change-Id: I45be510ada068b3ffab0feb30ec60f2c96a5ca32
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
tags/v0.8.4
Matthias Sohn hace 14 años
padre
commit
ab360d06de
Se han modificado 1 ficheros con 3 adiciones y 2 borrados
  1. 3
    2
      org.eclipse.jgit/build.properties

+ 3
- 2
org.eclipse.jgit/build.properties Ver fichero

@@ -1,6 +1,7 @@
source.. = src/
source.. = src/,\
resources/
output.. = bin/
bin.includes = META-INF/,\
.,\
about.html,\
plugin.properties
plugin.properties

Cargando…
Cancelar
Guardar