diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-11-15 16:48:23 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-11-15 16:48:23 +0100 |
| commit | c5fcac1480d7023c0f823acffababfd57d7f7fce (patch) | |
| tree | 6d396661b159e4a8bce957f144992acfec7bc6e8 /repoman | |
| parent | 37481d8781c8f9b023ecd34c125f28c4b1e96381 (diff) | |
#875: Update list of enabled ports.
Diffstat (limited to 'repoman')
0 files changed, 0 insertions, 0 deletions