build-devtoolbox: Install 1minutetip
authorMartin Pitt <martin@piware.de>
Sat, 6 Jun 2020 13:32:12 +0000 (15:32 +0200)
committerMartin Pitt <martin@piware.de>
Sat, 6 Jun 2020 13:32:12 +0000 (15:32 +0200)
commit4ee8f38da7500a76cabb1f528c147493d84a87b5
treed81fa3efba3fee6d9653cfddf160ba551d5c4cc1
parenta8af5cdb368d3a17f80f9758bddbbd6ee8c76fe7
build-devtoolbox: Install 1minutetip
build-devtoolbox