diff options
| -rwxr-xr-x | src/options/mkoptions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py index 5020920ff..b2df21501 100755 --- a/src/options/mkoptions.py +++ b/src/options/mkoptions.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python3 +#!/usr/bin/env python """ Generate option handling code and documentation in one pass. The generated files are only written to the destination file if the contents of the file |