Added checkboxes, that are stored in a map
authorKai Moritz <kai@juplo.de>
Tue, 21 Jan 2020 22:48:25 +0000 (23:48 +0100)
committerKai Moritz <kai@juplo.de>
Fri, 7 Apr 2023 11:15:40 +0000 (13:15 +0200)

No differences found