tree 58bc0d1ce220eb8e0c12844543a745d23a68eb7f
parent f6972f1a29cb3c94929f5eecef816e65bed755ef
author Thomas <thomasbruggink@hotmail.com> 1711029067 +0900
committer Jens Geyer <Jens-G@users.noreply.github.com> 1712059767 +0200

Manually remove $(BUILT_SOURCES) since no-dist-built-sources doesnt work