Yolanda Robla Mota 939c244377 Allow to define vms with independent names ...

This is useful when we need to give the vms a more descriptive
name, and also when we need to set the hostname properly with
simple-init element.

Change-Id: I4c9eec82882d94649ee0e6bdb7e2ce033c29e44a

2016-08-17 09:36:10 +02:00

..

notes

Allow to define vms with independent names

2016-08-17 09:36:10 +02:00

source

[Trivial] Remove executable privilege of doc/source/conf.py

2016-04-29 21:19:33 +08:00