diff options
author | Irina Gómez <irinagomez@us.es> | 2021-04-13 12:49:59 +0200 |
---|---|---|
committer | Irina Gómez <irinagomez@us.es> | 2021-04-13 12:49:59 +0200 |
commit | 747ca46c8379bc60fe2b4193d03d56834d05c1ce (patch) | |
tree | 2d67639a07c57baed2d03ee08a75dcf9c936cb34 /installer/vagrant | |
parent | 992ebb99a7abaf3a3234d85beded319c10073e46 (diff) |
#997: Defining new development version.
Diffstat (limited to 'installer/vagrant')
0 files changed, 0 insertions, 0 deletions