comparison mx/sanitycheck.py @ 18331:803b0b06e408

Truffle: remove obsolete node
author Andreas Woess <andreas.woess@jku.at>
date Mon, 10 Nov 2014 19:08:52 +0100
parents d42e11af980d
children 6df10903c955
comparison
equal deleted inserted replaced
18330:fe77c26ccde6 18331:803b0b06e408