diff options
| author |   Marco Varlese <marco.varlese@suse.com> | 2018-10-18 09:37:17 +0200 |
|---|---|---|
| committer |   Marco Varlese <marco.varlese@suse.de> | 2018-10-18 07:38:13 +0000 |
| commit | 5fcca2a124ac828b01633a3ad237a6435e8ff603 (patch) | |
| tree | e215c92aa63e7f96fcea8d8d6a04b853c77d8388 /extras/vagrant | |
| parent | 9be7c6da3119838eddb6499c32c13a44e140f043 (diff) | |
Update version (18.10) for API changes script
Change-Id: I41d22bfc87849e923628de08f922f7a541579fe1
Signed-off-by: Marco Varlese <marco.varlese@suse.com>
Diffstat (limited to 'extras/vagrant')
0 files changed, 0 insertions, 0 deletions