diff options
| author | Peter Jentsch <pjotr@guineapics.de> | 2012-11-25 17:52:44 +0100 |
|---|---|---|
| committer | Peter Jentsch <pjotr@guineapics.de> | 2012-11-25 17:58:09 +0100 |
| commit | cd65acbcb541da83c39c3f1eeb6672a7bcc123d6 (patch) | |
| tree | 88065edab95576ce17ecf6f448245b7b4033cb2b /util | |
| parent | 14a35bc7c9a2a012e7d994588a2fcdf52158ebac (diff) | |
removed help content referring to obsolete XML filter options.
Change-Id: I43fd160e5e44cf2ef23d9cd7f560e5ff7fd4be3f
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions