[DEECo] [d3scomp/JDEECo] 435777: Build comments.

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 4357777b8643c5bbb1f0bd1fed4e68cc6dd54e00
      https://github.com/d3scomp/JDEECo/commit/4357777b8643c5bbb1f0bd1fed4e68cc6dd54e00
  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 comments.

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