gem-graph-server/debian
Jean Sirmai 42a0f9ca2b
WIP: Changing names (node_id, condition, transition)
2021-10-23 17:13:25 +02:00
..
etc Server /etc parameters embryon, clean shutdown (&signals), model storage dir 2021-08-20 15:19:14 +02:00
var WIP: Changing names (node_id, condition, transition) 2021-10-23 17:13:25 +02:00
conffiles Server /etc parameters embryon, clean shutdown (&signals), model storage dir 2021-08-20 15:19:14 +02:00
control Changed legal notice to reflect reality 2021-10-13 09:44:00 +02:00
copyright Changed legal notice to reflect reality 2021-10-13 09:44:00 +02:00