diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-16 19:30:22 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-16 19:30:22 +0100 |
| commit | 0392e6b2dc4c9bc4063fce5c1b4817c3c6460426 (patch) | |
| tree | 7481ced5fb1895e251d78c6b4ec023e8f1dde808 /gen | |
| parent | 9c7cacdbddf6ba1a34fd56b71718ba4e44e20efa (diff) | |
made presences chooser. raw draft. just kinda works
Diffstat (limited to 'gen')
0 files changed, 0 insertions, 0 deletions