build-devtools: Add more packages
authorMartin Pitt <martin@piware.de>
Fri, 2 Aug 2019 13:44:12 +0000 (15:44 +0200)
committerMartin Pitt <martin@piware.de>
Fri, 2 Aug 2019 13:44:12 +0000 (15:44 +0200)
commitc445f0b03723eea4e186618e60dffa00f7c59110
treed67c941aaf5fc41735ea53c1f7bfb7ea22ad4bb8
parentdecfc2bbaeeb2dabbba08f7acef6392ca2cb3eda
build-devtools: Add more packages
build-devtoolbox