diff options
-rwxr-xr-x | util/docker/coreboot.org-status/kconfig2html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/docker/coreboot.org-status/kconfig2html b/util/docker/coreboot.org-status/kconfig2html index 3c1efc1b6a..38de1149de 100755 --- a/util/docker/coreboot.org-status/kconfig2html +++ b/util/docker/coreboot.org-status/kconfig2html @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # # kconfig2wiki - Kconfig to MediaWiki converter for # https://www.coreboot.org/coreboot_Options |