| commit | 511da8c5a7f8af771dbf692f1f3ddfab14501c6d | [log] [tgz] |
|---|---|---|
| author | Javier Jardón <jjardon@gnome.org> | Mon Mar 19 12:41:47 2018 +0000 |
| committer | Javier Jardón <jjardon@gnome.org> | Mon Mar 19 12:41:47 2018 +0000 |
| tree | b9e58ec23f8564dfaeeacae61f2514f3c395cb18 | |
| parent | 5d7ee178fcfb337962cef7e9dab6927478215f5f [diff] |
.gitlab-ci.yml: Use distro packages instead pip to install sphinx