diff options
Diffstat (limited to 'devscripts/gh-pages/add-version.py')
| -rwxr-xr-x | devscripts/gh-pages/add-version.py | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/devscripts/gh-pages/add-version.py b/devscripts/gh-pages/add-version.py index 35865b2f3..867ea0048 100755 --- a/devscripts/gh-pages/add-version.py +++ b/devscripts/gh-pages/add-version.py @@ -1,4 +1,5 @@  #!/usr/bin/env python3 +from __future__ import unicode_literals  import json  import sys | 
