2023-07-18 07:49:07 +02:00
|
|
|
[workspace]
|
2023-07-21 08:52:19 +02:00
|
|
|
resolver = "2"
|
2023-07-18 07:49:07 +02:00
|
|
|
members = [
|
|
|
|
|
"rmenu",
|
2023-07-25 06:53:23 +02:00
|
|
|
"rmenu-plugin",
|
|
|
|
|
"plugin-run",
|
|
|
|
|
"plugin-desktop",
|
2023-08-15 07:11:14 +02:00
|
|
|
"plugin-window",
|
2023-07-18 07:49:07 +02:00
|
|
|
]
|
