diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-07-10 23:49:34 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-07-10 23:49:34 +0200 |
| commit | 355a6d172371fecadff12d5b4853a1f36b35a01f (patch) | |
| tree | 9b05c207fe5c9f768bb4db03a68a879d7afcab9d /build.xml | |
| parent | 0078aee3434aeb9526658109935146575e954539 (diff) | |
dirty push / delete flags are not set/reset correctly
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions