diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-10-16 02:39:02 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-10-16 02:39:02 +0200 |
| commit | 88d88ffb7b704e2ae5a2eaf1af6e8a21fb0fb574 (patch) | |
| tree | 0434c3b0eb6ba27ba7f9ff5d3fa27dc025f5b676 /build.xml | |
| parent | f5019ba96647bd1c33153e6e9099d21dcf47bfa7 (diff) | |
added file observer to get notified when files are deleted: fixes #396
Diffstat (limited to 'build.xml')
0 files changed, 0 insertions, 0 deletions