Adriaan de Groot
|
4df9bd8917
|
[partition] Use KPM manager in partitioning jobs
- This gives all the partition-changing jobs an easy way to
manage the lifetime of the privileged helper.
|
2019-06-14 22:51:35 +02:00 |
|
Adriaan de Groot
|
dc255e161e
|
[partition] Rename slots, to avoid recursion
|
2017-12-24 03:34:34 -05:00 |
|
Adriaan de Groot
|
762ad54344
|
Documentation: change http links to GitHub to https
|
2017-12-20 08:39:09 -05:00 |
|
Adriaan de Groot
|
55ed2ba4c0
|
[partition] Introduce convenience translation for progress.
|
2017-12-14 16:11:46 -05:00 |
|
Aurélien Gâteau
|
693e9229c8
|
Dispatch files in core/ gui/ and jobs/ dirs
|
2014-08-08 13:25:56 +02:00 |
|