Commit 03c9d3e2 authored by Swann Perarnau's avatar Swann Perarnau
Browse files

[fix] add dev headers to _SOURCES

Track development headers in src/ _SOURCES to make sure that
`make dist` will include them in the distribution.

Might also fix some errors when modifying a header and recompiling.

for the guidelines.
parent c586cb40
Pipeline #11492 passed with stages
in 1 minute and 7 seconds