diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-03 18:38:47 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-03 18:38:47 +0100 |
| commit | 14a171b088363d8e39b547eecc181570c4289428 (patch) | |
| tree | 3921fd13be199c52f5f6fb614c520a8cc91853d2 /project.properties | |
| parent | 7d79852c8403a8882061480cfb524724b84857ec (diff) | |
basic notifications
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions