Remove vapi files from Platform (!15267) · Merge requests · freedesktop-sdk / freedesktop-sdk · GitLab

Erick555 requested to merge Erick555/vala2sdk into master Sep 24, 2023

Those are devel files that belong to Sdk.

Split rules borrowed from gnome:

https://gitlab.gnome.org/GNOME/gnome-build-meta/-/blob/59dfc5ba0122ec72528fcf80ac32d74f7c5d0539/project.conf#L126-L127

See https://gitlab.gnome.org/GNOME/gnome-build-meta/-/issues/739

Edited Sep 24, 2023 by Erick555