commit | 7a8c32d5a5ecae205a64cdea5e5488308d7ec0f3 | [log] [tgz] |
---|---|---|
author | Javier Jardón <jjardon@gnome.org> | Tue Apr 17 10:54:51 2018 +0100 |
committer | Javier Jardón <jjardon@gnome.org> | Mon Apr 23 14:35:56 2018 +0200 |
tree | 439cc1c71cfe4ea50cd643610e2e0f8f87021286 | |
parent | c1d7dc6361af36379a82015890a56c60b7d514dd [diff] |
.gitlab-ci.yml: no need to pin sphinx package anymore