Select Git revision
-
Johannes Mey authored
the order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser
Johannes Mey authoredthe order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser