diff servlet/pom.xml @ 1462:71cd204862d4

document new parameters.
author robcast
date Fri, 13 Nov 2015 18:29:54 +0100
parents 9d3e5b4453fd
children b8f2fde0f034 2197975ec945
line wrap: on
line diff