build: fixes for cr-destol gradle build and cleanup - #55

Merged

BenjaminAmos merged 3 commits into

fix/build-fixes

Jul 29, 2026

Commits on Jul 29, 2026

build: add missing repositories block to cr-destsol build.gradle.kts
BenjaminAmos
committed
build: remove obsolete Terasology-specific include work-around
BenjaminAmos
committed
build: filter repositories to fetch only what is needed
BenjaminAmos
committed