diff options
author | Wu Xiaotian <[email protected]> | 2019-03-08 10:24:13 +0800 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-03-10 15:18:21 +0100 |
commit | e408410a289e9afdb6b3588db2a3475763a19c22 (patch) | |
tree | 5c7c5b05b2936c715f41eaaa7f3598d59ab7f99e /doc/man | |
parent | 63f7860434049264df49129b56211b2e00100d13 (diff) | |
download | marco-e408410a289e9afdb6b3588db2a3475763a19c22.tar.bz2 marco-e408410a289e9afdb6b3588db2a3475763a19c22.tar.xz |
[ci] switch to use build scripts on master branch
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions