diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/rmboard.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/rmboard.py b/tools/rmboard.py index df4f04b01c..1feface61d 100755 --- a/tools/rmboard.py +++ b/tools/rmboard.py @@ -1,4 +1,4 @@ -#! /usr/bin/python +#! /usr/bin/python3 # SPDX-License-Identifier: GPL-2.0+ # Copyright 2019 Google LLC # |