--- mirrorbrain/mirrorbrain.py.orig 2019-05-03 23:32:01.146785304 +0200 +++ mirrorbrain/mirrorbrain.py 2019-05-03 23:31:54.441952637 +0200 @@ -1,4 +1,4 @@ -#!/usr/bin/python2 +#!/usr/bin/python ################################################################################ # mirrorprobe -- fetch mirrors from a database, try to access them and mark them --- tools/null-rsync.orig 2019-05-03 23:29:43.252226767 +0200 +++ tools/null-rsync 2019-05-03 23:30:00.125805646 +0200 @@ -1,4 +1,4 @@ -#!/usr/bin/python2 +#!/usr/bin/python """ Create a local file tree as copy from a remote server via rsync.