diff agent/doc/index.html @ 8885:4877c7dfe6d6

Fix jdk creation check if db an man exist in source jdk not in the one we are creating
author Gilles Duboscq <duboscq@ssw.jku.at>
date Sun, 07 Apr 2013 13:26:16 +0200
parents bd7a7ce2e264
children
line wrap: on
line diff