diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2018-11-16 12:32:37 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2018-11-16 12:32:37 +0100 |
| commit | bce19109d1df40ae6c3e29215a5d72cc79b097d1 (patch) | |
| tree | 27a14893d9b581641d2a93430d062dbd0cdde97b /repoman/INSTALL | |
| parent | df7d8f0db2aeb86190b6aa46a68b2dc8f6bf10a6 (diff) | |
#873: Updating database image info when local repo is also configured as admin server.
Diffstat (limited to 'repoman/INSTALL')
0 files changed, 0 insertions, 0 deletions