 Adriaan de Groot
|
3b146d47d0
CI: Remove mention of cLog from documentation
|
vor 5 Jahren |
|
Adriaan de Groot
|
94bea9baaf
CI: update documentation of debug-levels
|
vor 5 Jahren |
|
Adriaan de Groot
|
0a1b27fcfa
CI: add clang-format as a tool
|
vor 5 Jahren |
|
Adriaan de Groot
|
2ce2b08027
[partition] Indent lambdas to tab-stop.
|
vor 5 Jahren |
 Philip
|
fc8d961049
[ci] fix link in HACKING.md
|
vor 6 Jahren |
|
Adriaan de Groot
|
762ad54344
Documentation: change http links to GitHub to https
|
vor 7 Jahren |
|
Adriaan de Groot
|
b5f2f22a78
Documentation: update HACKING
|
vor 7 Jahren |
|
Adriaan de Groot
|
1859808227
Move development-related scripts, tools, into ci/
|
vor 7 Jahren |
