diff -r 6b3523f81f42 -r 26744ad37953 doc/tools/mode_plan.py --- a/doc/tools/mode_plan.py Fri Apr 05 17:21:14 2019 +0200 +++ b/doc/tools/mode_plan.py Fri Apr 05 17:58:19 2019 +0200 @@ -23,8 +23,6 @@ rename A010-joe.en.txt to A030-joe.en.txt accept [y/N]? """ -from __future__ import print_function - def ren(a,b): names = glob.glob('%s*'%a)