diff options
| author | Nicky <nicky.dasmijn@gmail.com> | 2022-02-28 22:04:05 +0100 |
|---|---|---|
| committer | Nicky <nicky.dasmijn@gmail.com> | 2022-02-28 22:04:05 +0100 |
| commit | 43031968a653899f62755b6d7b7e28b7fedc24d9 (patch) | |
| tree | c610012c5d4e568d94dea4208a80fe1be53ff2bf /scripts/setup-path.py | |
| parent | 07d7dcc0be9b793b1bcef63f526b441a58a9b764 (diff) | |
| parent | 6ca09a94554ec01f5c94ec60fffd01d7e33f3546 (diff) | |
Merge remote-tracking branch 'll/master'
Diffstat (limited to 'scripts/setup-path.py')
| -rwxr-xr-x | scripts/setup-path.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/setup-path.py b/scripts/setup-path.py index ce83d815bf..427d119520 100755 --- a/scripts/setup-path.py +++ b/scripts/setup-path.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """\ @file setup-path.py @brief Get the python library directory in the path, so we don't have |