flags
|
Add IDs to desktops and monitors
|
2016-03-16 15:15:27 +01:00 |
insertion
|
Add IDs to desktops and monitors
|
2016-03-16 15:15:27 +01:00 |
receptacle
|
Introduce receptacles
|
2016-03-26 11:47:17 +01:00 |
removal
|
Add IDs to desktops and monitors
|
2016-03-16 15:15:27 +01:00 |
swap
|
Make following optional
|
2018-01-14 22:32:11 +01:00 |
transfer
|
Make following optional
|
2018-01-14 22:32:11 +01:00 |