diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2019-01-17 11:10:30 +0100 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2019-01-17 11:10:30 +0100 |
commit | 7cb64668830c6730451e9da264429dd5dc329d0c (patch) | |
tree | 941ee3aba8338b84cf9a74dad755200627ec473f /repoman/etc | |
parent | cbe824f0670af43ce9279d0ccb710c2b17aeb190 (diff) |
#873: Add some corrections and checks.
Diffstat (limited to 'repoman/etc')
0 files changed, 0 insertions, 0 deletions