Daan Hoogland f276485253 Merge release branch 4.13 to master ... * 4.13: fixed inconsistency of IP on VR when VR is destroyed and recrea… (#3825) server: fix resource count error when upgrade a vm (#3759)		2020-01-23 17:00:12 +01:00
..
conf	Remove extraneous log directory and add catalina.out log rotation	2016-05-12 08:41:39 +01:00
src	Merge release branch 4.13 to master	2020-01-23 17:00:12 +01:00
pom.xml	Updating pom.xml version numbers for release 4.14.0.0-SNAPSHOT	2019-09-07 09:57:46 +01:00