Henrik Giesel 1824cd8c1c Fix return value of guiAddCards
* For the case where the current AddCards dialogue has to be closed first
2020-02-18 14:45:47 +01:00
..
2020-02-18 14:45:47 +01:00
2020-01-05 16:46:36 -08:00
2020-01-05 16:24:20 -08:00
2020-01-05 15:42:08 -08:00
2020-01-05 17:49:41 -08:00