Adriaan de Groot
|
e8408cb5b2
|
[partition] Fix include path type
- Don't use #include <> for files in the current source directory.
|
2019-06-14 22:59:40 +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 |
|