| commit | 14c08fa91afeb28e102dafb6e3871678cc115917 | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Fri Mar 04 15:56:59 2016 +0100 |
| committer | margaretha <margaretha@ids-mannheim.de> | Fri Mar 04 15:57:27 2016 +0100 |
| tree | 7ae25607b22aeb4731120376090c4280f03e51b3 | |
| parent | a7ad957420dc94902a86c8a7888736966fb0ad81 [diff] | |
| parent | 6ff688a90562f2fb8219e329b4832d273bf6db49 [diff] |
Changed TUIs as optional. Change-Id: I4423494a923fdcf0320736025b107062ef4fc692