tree d2a19c96e71a4648190ef249945bbacceca56826
parent ff24594899c5ec67468030cb339f0217bc70cc4d
author Radek Krejci <rkrejci@cesnet.cz> 1539094372 +0200
committer Radek Krejci <rkrejci@cesnet.cz> 1539094372 +0200

vagrant CHANGE move to Ubuntu 18.04