diff make/linux/platform_arm @ 18135:1700d12ba0ad

Require pylint 1.1.x
author Gilles Duboscq <duboscq@ssw.jku.at>
date Tue, 21 Oct 2014 10:11:30 +0200
parents b92c45f2bc75
children
line wrap: on
line diff