Jean Sirmai 42a0f9ca2b WIP: Changing names (node_id, condition, transition)		2021-10-23 17:13:25 +02:00
..
schemas	WIP: Changing names (node_id, condition, transition)	2021-10-23 17:13:25 +02:00
.placeholder	Server /etc parameters embryon, clean shutdown (&signals), model storage dir	2021-08-20 15:19:14 +02:00
example_0.2.xml	WIP: Changing names (node_id, condition, transition)	2021-10-23 17:13:25 +02:00