Giulio Eulisse ad894c79cf GUI Controller ... provide a controller which can be used to control state transitions from an external GUI.		2022-01-25 18:02:25 +01:00
..
config	shm: add APIs for implementing keep-alive process	2021-12-16 16:27:07 +01:00
control	GUI Controller	2022-01-25 18:02:25 +01:00
DDS	feat: Drop public dependency to Boost.Asio and use standalone asio	2021-07-16 12:31:17 +02:00
PMIx	Don't use to-be-deprecated names	2022-01-24 06:40:24 +01:00
Builtin.h	control plugin: Move to subdirectory for consistency	2021-03-26 10:06:10 +01:00