Mon, 22 Mar 2021 13:21:12 -0700 Martin von Zweigbergk makefile: use Python 3 by default when building docs as well
Mon, 22 Mar 2021 13:14:11 -0700 Martin von Zweigbergk tests: replace some `python` by `"$PYTHON"` to not only use Python 2
Sat, 13 Mar 2021 03:17:00 +0100 Pierre-Yves David copies: distinguish between merged and touched files during upgrade
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip