diff options
Diffstat (limited to 'Documentation/gen_commands.py')
-rwxr-xr-x | Documentation/gen_commands.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py index 203a39bb11..7c62a030dc 100755 --- a/Documentation/gen_commands.py +++ b/Documentation/gen_commands.py @@ -1,6 +1,4 @@ -#!/usr/bin/python - -from __future__ import print_function +#!/usr/bin/env python3 import errno import os |