diff options
author | louiz’ <louiz@louiz.org> | 2019-09-15 23:23:18 +0200 |
---|---|---|
committer | louiz’ <louiz@louiz.org> | 2019-09-16 22:54:39 +0200 |
commit | 26d9445029ad39ab38b054f12c748b9ad602d4eb (patch) | |
tree | 1275ea31e9d57aa15b448d5a786abdc0ee6ddb56 /src/database/index.hpp | |
parent | b085df4018a906a40d9f589a98a1be2a4b746ac0 (diff) | |
download | biboumi-26d9445029ad39ab38b054f12c748b9ad602d4eb.tar.gz biboumi-26d9445029ad39ab38b054f12c748b9ad602d4eb.tar.bz2 biboumi-26d9445029ad39ab38b054f12c748b9ad602d4eb.tar.xz biboumi-26d9445029ad39ab38b054f12c748b9ad602d4eb.zip |
ci: Remove the doc:deploy:mr job because gitlab is too broken
Nobody would use that, anyway.
Diffstat (limited to 'src/database/index.hpp')
0 files changed, 0 insertions, 0 deletions