diff options
author | louiz’ <louiz@louiz.org> | 2016-10-24 11:33:06 +0200 |
---|---|---|
committer | louiz’ <louiz@louiz.org> | 2016-10-24 11:39:28 +0200 |
commit | b141f3ddeeb4d3cb66eca0a919595c3c661af2b5 (patch) | |
tree | dd3f4bce5ade2b23bc359112926f65eace844b95 /src/utils/empty_if_fixed_server.hpp | |
parent | 4359680f9df92475c439f16a163bf5a9b37813b3 (diff) | |
download | biboumi-b141f3ddeeb4d3cb66eca0a919595c3c661af2b5.tar.gz biboumi-b141f3ddeeb4d3cb66eca0a919595c3c661af2b5.tar.bz2 biboumi-b141f3ddeeb4d3cb66eca0a919595c3c661af2b5.tar.xz biboumi-b141f3ddeeb4d3cb66eca0a919595c3c661af2b5.zip |
Explicitely use the docker runner on some builds
Diffstat (limited to 'src/utils/empty_if_fixed_server.hpp')
0 files changed, 0 insertions, 0 deletions