diff options
| author | Wu Xiaotian <[email protected]> | 2019-03-07 15:31:39 +0800 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-03-10 15:18:21 +0100 |
| commit | 63f7860434049264df49129b56211b2e00100d13 (patch) | |
| tree | 0d172b5421503c5c32860fd370823877c8cb3b81 /.github | |
| parent | 99439e0207c318df0ba4095b7e65ff69accfff63 (diff) | |
| download | marco-63f7860434049264df49129b56211b2e00100d13.tar.bz2 marco-63f7860434049264df49129b56211b2e00100d13.tar.xz | |
[ci] If possible, compile with make -jN
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions