diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-04 21:44:16 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-04 21:44:16 +0100 |
| commit | 4fd8620c6cc1ca88c4496671e6e59c40aba93019 (patch) | |
| tree | 1e5063ec85002960036e39071ae210903167b7d5 /project.properties | |
| parent | 0d80d88736926d06e97f22f9ecc63d4fb696751c (diff) | |
allow to temporarily disable accounts
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions