diff tools/verify-all-heads.sh @ 292:761b095c11fb

Also ignore .pyo files.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Thu, 19 Mar 2009 18:12:06 +0100
parents b81e7f2f7818
children b1d2ea765516
line wrap: on
line diff