diff build.xml @ 871:8b0a27214abf

remove unused property
author Dmitry Neverov <dmitry.neverov@jetbrains.com>
date Wed, 24 Sep 2014 19:58:13 +0200
parents 31a1aca3305c
children
line wrap: on
line diff