diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-03-14 19:54:30 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-14 19:54:30 +0100 |
| commit | db1ef0aeba8bad6bb686f6adb465cb1fbb5229f3 (patch) | |
| tree | c551b56f86c5a36b84918118f277a17ce96f4a71 /dev/doc/style.txt | |
| parent | 47743794ab9d959b8432100e28aabde7bc83a65c (diff) | |
| parent | 935946b1aed05fa2d285f0da8f457563f4641b9e (diff) | |
Merge PR#473: [ci] Document that sudo: false is slower
Diffstat (limited to 'dev/doc/style.txt')
0 files changed, 0 insertions, 0 deletions