| commit | 4180550722da8e765843f6f15ceadf052a84d0dd | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Tue Jul 19 16:22:41 2016 +0200 |
| committer | margaretha <margaretha@ids-mannheim.de> | Tue Jul 19 16:22:41 2016 +0200 |
| tree | 597b56539c164b876caf250686d4be0c04fcb474 | |
| parent | c28154d4e8a96a8226111f07bed27d23867c1bc8 [diff] |
Added gitignore and properties files. Change-Id: If5357b127c229dfd3f6f496346f29b32e54e1760