This repository has been archived on 2026-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Willem Dantuma 0eaa3065a3 Add margin

2020-02-25 11:26:57 +01:00

..

common

Remove old theming, use correct theme colors and a friendlier icon

2020-02-22 09:45:41 +01:00

common-map

Add margin

2020-02-25 11:26:57 +01:00