diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-10 15:24:34 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-02-10 15:24:34 +0100 |
| commit | cfc74e7c8e912c7a194ad674ec5f98ab6950640f (patch) | |
| tree | 95aae079591ae9462697499a965ec89b13a83113 /.classpath | |
| parent | 2d0c0e6a4081955b68669c82071a5099e2e1a96e (diff) | |
fixed a bug where account options where toggled instead of set off. fixed null pointer for missing selfi. made sefli optional
Diffstat (limited to '.classpath')
0 files changed, 0 insertions, 0 deletions