diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-05-27 12:19:59 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-05-27 12:19:59 +0200 |
| commit | ffe8952e96d56d6fa7d1c76fda3cb76a23cd386c (patch) | |
| tree | 87937df4c17d42298ec77cd1ae78f87c1ee814aa /installer/vagrant/Vagrantfile-prod-vbox | |
| parent | 279c2697d35d1f0a5eaa32b9860d76309fb92353 (diff) | |
#959: OGAgent installer downloads from its new repository.
Diffstat (limited to 'installer/vagrant/Vagrantfile-prod-vbox')
0 files changed, 0 insertions, 0 deletions