Git-based package source layout #193

Merged

anonfunc merged 3 commits from git-migration into main

2023-05-21 20:28:23 +02:00

Author	SHA1	Message	Date
Giovanni Harting	3344848dc0	fixed devtool paths	2023-05-21 20:23:58 +02:00
Giovanni Harting	2a7aef16a6	minor code cleanup	2023-05-21 19:49:34 +02:00
Giovanni Harting	e079526d4c	switched to using state repo & separate package repos	2023-05-20 17:31:14 +02:00