tree b9e58ec23f8564dfaeeacae61f2514f3c395cb18
parent 5d7ee178fcfb337962cef7e9dab6927478215f5f
author Javier Jardón <jjardon@gnome.org> 1521463307 +0000
committer Javier Jardón <jjardon@gnome.org> 1521463307 +0000

.gitlab-ci.yml: Use distro packages instead pip to install sphinx