diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-11-30 21:44:01 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-11-30 21:44:01 +0100 |
| commit | 6ab13a314902cfdb5296d1987557c351ecf3e54d (patch) | |
| tree | 503d3713506b4a903b7334ce527b542446bd5498 /installer/vagrant | |
| parent | 062ea34989d8c7797ceb60a439c88550d87cb1df (diff) | |
#914: Fix bug when getting the release from a Git tag.opengnsys-1.1.1
Diffstat (limited to 'installer/vagrant')
0 files changed, 0 insertions, 0 deletions