Moved for merge preparation.
[core.git] / contrib / lint.sh
2014-03-29 Roland HaederMoved for merge preparation.