diff mxtool/.pylintrc @ 14043:3bd2ad96f162

TruffleCompilerOptions: add help texts, delete old options
author Andreas Woess <andreas.woess@jku.at>
date Mon, 03 Mar 2014 10:12:02 +0100
parents 294962c0f3f7
children e1ce6c66f56e
line wrap: on
line diff