Skip to content
GitLab

Drop devkit from check and host packages

Merged Guido Gunther requested to merge guido.gunther/librem5-devkit-tools:drop-devkit into master

This isn't devkit specific since ages. librem5-devkit-base is more complicated so do that past 0.0.12. I'll tag a release once this is out so the Conflicts/Replaces work as expected.

WIP since it should be merged past !162 (merged)

Edited by Guido Gunther