| commit | a0546dbc8643c0aac4497013bea4380044ef212d | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Apr 01 19:18:04 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Apr 01 21:19:45 2020 -0400 |
| tree | bd286abc3dcc94f4f1506abb85b23961578febed | |
| parent | e3fe048411fe654b833806fbfe3460f39d6258be [diff] [blame] |
build+ci: switch to python3 Also in this commit: * Sync CI scripts with other projects * Modernize docs/conf.py * Cleanup README.md * Use the official markdown version of the GPLv3 Refs: #5095 Change-Id: Ie607fcde1f6e41fa5efbbb41b21cb08583017442
diff --git a/waf b/waf index 7ceee16..a1c5c96 100755 --- a/waf +++ b/waf
@@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # encoding: latin-1 # Thomas Nagy, 2005-2018 #