diff options
| author | louiz’ <louiz@louiz.org> | 2020-05-21 23:16:23 +0200 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2020-05-21 23:16:55 +0200 |
| commit | bc1fa4bc3169f86abbba952d4f3e2379d7aec757 (patch) | |
| tree | 554136d6a916f27d43b87279a21a10b21c38c0b8 /conf/policy.txt | |
| parent | 6ed9545abb415270d7120237e65141733815264b (diff) | |
| download | biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.gz biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.bz2 biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.tar.xz biboumi-bc1fa4bc3169f86abbba952d4f3e2379d7aec757.zip | |
ci: Install the correct rtd_theme package, not the documentation…
Diffstat (limited to 'conf/policy.txt')
0 files changed, 0 insertions, 0 deletions