config/server-config.wsdd
changeset 15483 f52dabf2bdc4
parent 9085 79e55dfc8af0