From: Martin Pitt <martin@piware.de>
Date: Sun, 28 Feb 2021 08:21:51 +0000 (+0100)
Subject: Remove build-devtoolbox
X-Git-Url: https://piware.de/gitweb/?p=bin.git;a=commitdiff_plain;h=3a7de2797f4233bb9ecc9db957d3393cac158aad;hp=3a7de2797f4233bb9ecc9db957d3393cac158aad

Remove build-devtoolbox

I have not used that in a while, in favor of build-cockpit-toolbox.
---