diff mxtool/mx.py @ 19078:5447a27a6fd7

Make StackUsePosList and StackInterval final.
author Josef Eisl <josef.eisl@jku.at>
date Fri, 30 Jan 2015 15:39:59 +0100
parents 9aa1cff041eb
children 258b3658845a
line wrap: on
line diff