github-build.properties 480 B

12345678910111213
  1. mxgraph2.dir=${basedir}/../../../mxgraph2
  2. jscompiler=${mxgraph2.dir}/etc/build/compiler.jar
  3. grapheditor.dir=${mxgraph2.dir}/javascript/examples/grapheditor/www/js
  4. src.dir=${basedir}/../../src
  5. war.dir=${basedir}/../../war
  6. javac.dir=${war.dir}/WEB-INF/classes
  7. build.dir=${basedir}/../../build
  8. war.name=draw.war
  9. imageexport.dir=${basedir}/../imageexport
  10. local.repo=${basedir}/../../build/diagramly-git
  11. username=jgraph
  12. remote.repo.name=draw.io
  13. desktop.dir=${basedir}/../chrome/desktop