diff options
| author |   Josep Puigdemont <josep.puigdemont@gmail.com> | 2016-04-27 13:57:36 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-04-27 13:57:36 +0000 |
| commit | e96eb8a9d8a0ed76908418190ea02013a4564268 (patch) | |
| tree | 11af76fad8664f24cf5ee618df9980830a0b019c /ci | |
| parent | 2b6438241dd467748cf7ab4b592ae109cff2dcec (diff) | |
| parent | e37d8766bf5429e4664b82c67e2575d48a3c738c (diff) | |
Merge "Makefile: Finalize RPM repo switch."
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions