diff options
| author | Marvin W <git@larma.de> | 2021-12-23 07:27:39 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2021-12-23 07:27:39 +0100 |
| commit | f591335ee3709db2352eccc3d0beb231d081f6d4 (patch) | |
| tree | 9d3bb62f610b5eb09c38e05d3e480ede40fd0a47 /main/src/ui/occupant_menu | |
| parent | 1c4765281443e2a184157f319825c9b68665f9f5 (diff) | |
| download | dino-f591335ee3709db2352eccc3d0beb231d081f6d4.tar.gz dino-f591335ee3709db2352eccc3d0beb231d081f6d4.zip | |
Remove unnecessary override from interface method implementation
Fixes build on Vala 0.42
Diffstat (limited to 'main/src/ui/occupant_menu')
0 files changed, 0 insertions, 0 deletions