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 /.project | |
parent | 9c7cacdbddf6ba1a34fd56b71718ba4e44e20efa (diff) |
made presences chooser. raw draft. just kinda works
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions