comparison LICENSE @ 18621:b3b241bbbbdb

OM: rename transitions
author Andreas Woess <andreas.woess@jku.at>
date Thu, 04 Dec 2014 13:35:36 +0100
parents cdef89d821bd
children
comparison
equal deleted inserted replaced
18620:23de014b38ab 18621:b3b241bbbbdb