diff make/hotspot.script @ 18620:23de014b38ab

mx: fix missing frozenset constructor to fix intersection
author Andreas Woess <andreas.woess@jku.at>
date Thu, 04 Dec 2014 19:50:39 +0100
parents 89152779163c
children
line wrap: on
line diff