diff THIRD_PARTY_README @ 18627:196cf131ed32

OM: extract queryTransition method
author Andreas Woess <andreas.woess@jku.at>
date Thu, 04 Dec 2014 19:36:50 +0100
parents 52b4284cb496
children 7848fc12602b
line wrap: on
line diff