diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-01-16 17:12:53 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-01-16 17:12:53 +0000 |
| commit | 8841beee28d98122eaecae967191e8509c129200 (patch) | |
| tree | 0bf4c5ad1fc849c6f0534e510edbedfd3e378802 /install-files | |
| parent | 079319075460062ea3cd6c500716c55a8478adf4 (diff) | |
| download | definitions-8841beee28d98122eaecae967191e8509c129200.tar.gz | |
.gitlab-ci.yml: Only build and deploy build systemjjardon/deploy_problem
Diffstat (limited to 'install-files')
0 files changed, 0 insertions, 0 deletions