Skip to content

dist/tools: Use /usr/bin/env to lookup Python.#19448

Merged
bors[bot] merged 1 commit intoRIOT-OS:masterfrom peteut:masterApr 11, 2023

Commits

Commits on Apr 10, 2023