Use abridged headings for anchors
[geekigeeki.git] / runpylint.sh
2008-01-17 Bernardo InnocentiAdd script to run pylint