chiark / gitweb /
build-sys: remove vala hack, which did not allow to list headers in sources