Remove build-devtoolbox
authorMartin Pitt <martin@piware.de>
Sun, 28 Feb 2021 08:21:51 +0000 (09:21 +0100)
committerMartin Pitt <martin@piware.de>
Sun, 28 Feb 2021 08:21:51 +0000 (09:21 +0100)
commit3a7de2797f4233bb9ecc9db957d3393cac158aad
tree538bf0ed4ff4633ffaf0cc8ba2c8b0e8ef33b416
parent2c679a339d3e2eb639d2672227293be868ce9026
Remove build-devtoolbox

I have not used that in a while, in favor of build-cockpit-toolbox.
build-devtoolbox [deleted file]