summaryrefslogtreecommitdiff
path: root/util/chibios_conf_updater.sh
diff options
context:
space:
mode:
authorJean-Sebastien Paquet <paquet@cadwork.ca>2021-06-19 08:52:34 -0400
committerGitHub <noreply@github.com>2021-06-19 13:52:34 +0100
commit8dc036c2e49f51a8dc1721ac8e84d7ec1c873f1e (patch)
tree8166c36bd18371dcdbbc0c1f6750bd82895252fd /util/chibios_conf_updater.sh
parent37fba09021fe094ea4daf0813626b1b6a201c8c0 (diff)
Upgrades Vagrant box to Debian 10 to fix Docker build error on Debian 9. (#13236)
Diffstat (limited to 'util/chibios_conf_updater.sh')
0 files changed, 0 insertions, 0 deletions