From: Ben Pfaff Date: Sat, 4 Jul 2020 22:31:49 +0000 (+0000) Subject: Convert build-pspp to Python 3. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4138eb6b6199bcb31345250dd0292f8559f14558;hp=4138eb6b6199bcb31345250dd0292f8559f14558;p=pspp Convert build-pspp to Python 3. ---