diff options
| author | louiz’ <louiz@louiz.org> | 2018-01-26 00:35:08 +0100 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2018-01-26 00:35:32 +0100 |
| commit | a209e77fc2c189c251fa90eebdce0f16ff4f6f04 (patch) | |
| tree | eec42b7877a6a6de325e9bc3da734bd5052b5cec /src/utils/is_one_of.hpp | |
| parent | 6dca27f08d426cdf966514fa3bf766be5f6566dc (diff) | |
| download | biboumi-a209e77fc2c189c251fa90eebdce0f16ff4f6f04.tar.gz biboumi-a209e77fc2c189c251fa90eebdce0f16ff4f6f04.tar.bz2 biboumi-a209e77fc2c189c251fa90eebdce0f16ff4f6f04.tar.xz biboumi-a209e77fc2c189c251fa90eebdce0f16ff4f6f04.zip | |
Rename a few CI things to a useful names
Diffstat (limited to 'src/utils/is_one_of.hpp')
0 files changed, 0 insertions, 0 deletions