Enrico Faulhaber c7c9403d1f Add TextType to ease gui generation
TextType is intended for formatted text (multiple lines),
whereas StringType is intended for a single line of text (without '\n')

Change-Id: Ibce29ae6b4e426bd8685f2cf7ff6966d81b0c6aa
Reviewed-on: https://forge.frm2.tum.de/review/20951
Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de>
Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>
2019-07-24 14:20:13 +02:00
2019-07-23 14:23:26 +02:00
2019-03-26 09:34:32 +01:00
2019-03-28 13:46:08 +01:00
2019-04-02 08:15:40 +02:00
2019-07-16 10:56:17 +02:00
2019-07-24 14:20:13 +02:00
2019-07-24 14:20:13 +02:00
2017-11-03 08:46:20 +01:00
2019-03-26 10:42:53 +01:00
2017-09-13 15:31:59 +02:00
2018-12-04 10:18:55 +01:00
Description
PSI local frappy repo, probably ahead of git/gerrit at MLZ
11 MiB
Languages
Python 99.9%