[DEECo] [d3scomp/JDEECo] 02ce0e: build.xml adjustments

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 02ce0e222315a6897fa93dac529d36a4955ec3e0
      https://github.com/d3scomp/JDEECo/commit/02ce0e222315a6897fa93dac529d36a4955ec3e0
  Author: Michal Kit <kit at d3s.mff.cuni.cz>
  Date:   2012-08-09 (Thu, 09 Aug 2012)

  Changed paths:
    M build.xml

  Log Message:
  -----------
  build.xml adjustments

Signed-off-by: Michal Kit <kit at d3s.mff.cuni.cz>


  Commit: 54aa9f5394c9b85cbbae92f13e9aa098daf551e7
      https://github.com/d3scomp/JDEECo/commit/54aa9f5394c9b85cbbae92f13e9aa098daf551e7
  Author: Michal Kit <kit at d3s.mff.cuni.cz>
  Date:   2012-08-09 (Thu, 09 Aug 2012)

  Changed paths:
    M README.md

  Log Message:
  -----------
  Merge branch 'master' of github.com:d3scomp/JDEECo


Compare: https://github.com/d3scomp/JDEECo/compare/3bb88f9bd959...54aa9f5394c9