Allow using a parent directory of the old package as the new package dir (!164) · Merge requests · tum-cps / Timor Python

Jonathan Külz requested to merge dev/package_dir_change into main Oct 24, 2023

I couldn't choose /a/b as the new package dir for files that had package dir /a/b/c/d previously without the resulting links being broken.

This fixes it, but is it compliant with the expected CoBRA file locations @MatthiasMayer ?

Edited Oct 24, 2023 by Jonathan Külz

Allow using a parent directory of the old package as the new package dir