diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-17 10:34:25 +0200 |
|---|---|---|
| committer | Andreas Straub <andy@strb.org> | 2014-04-18 00:33:00 +0200 |
| commit | 18c0c31b65ba488c1087441cefb76090dfb26084 (patch) | |
| tree | 55c47a893e4fa8ac27381f61821b9cf82c873877 /build.xml | |
| parent | cc977eee9094b4c006fc56d87772a11c7ac11a08 (diff) | |
work around for bug in xmlpullparser
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions