mirror of https://github.com/jgraph/drawio.git
8 lines
245 B
Properties
8 lines
245 B
Properties
|
jscompiler=${basedir}/compiler.jar
|
||
|
|
src.dir=${basedir}/../../src/main/java
|
||
|
|
war.dir=${basedir}/../../src/main/webapp
|
||
|
|
grapheditor.dir=${war.dir}/js/grapheditor
|
||
|
|
javac.dir=${war.dir}/WEB-INF/classes
|
||
|
|
build.dir=${basedir}/../../build
|
||
|
|
war.name=draw.war
|