tree 29ab6e1b4f6dfc36122ed5017608b4f237879333
parent b4386d36f1aeb709939a85bf25d129a550ce4971
author Sandro Tosi <sandro.tosi@gmail.com> 1338650193 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1338650193 +0200
HG:rename-source hg

Issue #14814: use print() function