diff tools/verify-all-heads.sh @ 891:83cc6e9e8425

kill all 'print' statements in the extension proper
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sat, 12 May 2012 15:41:21 +0200
parents 11c4c7242a36
children
line wrap: on
line diff