diff options
author | 2018-05-31 11:09:56 +0200 | |
---|---|---|
committer | 2018-05-31 11:09:56 +0200 | |
commit | 43b6ca61dc4d25f2d86443b564fcaa3722ec5de7 (patch) | |
tree | 36d8c3b71a43a1beb65ef6a022d1696a0e49e494 /scripts/ci.sh | |
parent | chmod +x on nsjail (diff) |
chmod +x on ci.sh
Diffstat (limited to 'scripts/ci.sh')
0 files changed, 0 insertions, 0 deletions