diff options
| author | ayveejay <41393247+ayveejay@users.noreply.github.com> | 2018-07-26 19:27:46 +0100 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-26 11:27:46 -0700 |
| commit | d23c9f4112003c006fc1f1d78d8c82c8310908c9 (patch) | |
| tree | 3a879229ec2b8d19ea00b3e712bb37149885f5dd | |
| parent | ce4a59429f6cdf6d98bd7b28d51a2bb28d34a2c6 (diff) | |
Avoid explicit dependency on Python 3 (#2195)
| -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 |