- 27 Mar, 2023 1 commit
-
-
Philip Makedonski authored
-
- 07 Mar, 2022 3 commits
-
-
Philip Makedonski authored
-
Philip Makedonski authored
+ use custom scrollable message dialog + add more details regarding problem element
-
Philip Makedonski authored
-
- 23 Nov, 2017 1 commit
-
-
Philip Makedonski authored
Change-Id: Ife97fa933ebbef7c05346551ba5b7c1a34a438ec Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
-