diff options
| author | Marvin W <git@larma.de> | 2022-11-10 22:32:19 +0100 |
|---|---|---|
| committer | Marvin W <git@larma.de> | 2022-11-10 22:32:19 +0100 |
| commit | cdd22e404eca3db640b6f2f2789314f7cbb65de6 (patch) | |
| tree | 51f08d5d13ca60287c294c3e51f9bdf56ae21367 /plugins/gpgme-vala/vapi/gpgme.deps | |
| parent | a2e894dda132f1679ee8e9998879be6bda7ab320 (diff) | |
| download | dino-cdd22e404eca3db640b6f2f2789314f7cbb65de6.tar.gz dino-cdd22e404eca3db640b6f2f2789314f7cbb65de6.zip | |
Fix build with Vala < 0.52
MenuButton.set_child was only added to VAPIs of 0.52 and later.
Even if GTK4 is new enough, they wouldn't be available.
Diffstat (limited to 'plugins/gpgme-vala/vapi/gpgme.deps')
0 files changed, 0 insertions, 0 deletions