diff options
| author | Christian Schneppe <christian@pix-art.de> | 2018-08-30 20:47:14 +0200 |
|---|---|---|
| committer | Christian Schneppe <christian@pix-art.de> | 2018-08-30 20:47:14 +0200 |
| commit | 8b4e383d0f85586d57fa96bc8a6802c1ff2e455e (patch) | |
| tree | c3bf3d8ead09a099880987c4446775e52ede3ce6 /src/standard/java/de/pixart | |
| parent | 73b65ef7e161e670da6c6e960917317ee96fcf77 (diff) | |
special treatment for presence errors known to be mucs
Diffstat (limited to 'src/standard/java/de/pixart')
0 files changed, 0 insertions, 0 deletions