1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.32.compatibility / build.properties
1 bin.includes = META-INF/,\
2                fragment.xml,\
3                compatability.jar
4 source.compatability.jar = src/
5 jars.compile.order = compatability.jar