drawio/etc/build/build.properties
Gaudenz Alder dc539ee2b8 Adds GitHub build properties
Former-commit-id: dcda9ed577
2016-10-07 15:42:14 +02:00

8 lines
No EOL
270 B
INI

jscompiler=${basedir}/compiler.jar
grapheditor.dir=${basedir}/../../war/js/mxgraph
src.dir=${basedir}/../../src
war.dir=${basedir}/../../war
javac.dir=${war.dir}/WEB-INF/classes
build.dir=${basedir}/../../build
war.name=draw.war
imageexport.dir=${basedir}/../imageexport