diff options
| -rwxr-xr-x | scripts/maint/rename_c_identifier.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/maint/rename_c_identifier.py b/scripts/maint/rename_c_identifier.py index 0e56dc48d5..e8cdb895a2 100755 --- a/scripts/maint/rename_c_identifier.py +++ b/scripts/maint/rename_c_identifier.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 # # Copyright (c) 2001 Matej Pfajfar. # Copyright (c) 2001-2004, Roger Dingledine. |