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 /doc | |
parent | 2b6438241dd467748cf7ab4b592ae109cff2dcec (diff) | |
parent | e37d8766bf5429e4664b82c67e2575d48a3c738c (diff) |
Merge "Makefile: Finalize RPM repo switch."
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions