config/server-config.wsdd
changeset 11347 27a119ce5f38
parent 9072 79e55dfc8af0