Fredrik Jönsson 8f81278332 We really should specify an encoding here and not depend on the ... servers default encoding, shouldn't we? It becomes ISO-8859-1 otherwise in Tomcat as per the Servlet specification.		2016-07-07 16:33:24 -04:00
..
src	We really should specify an encoding here and not depend on the	2016-07-07 16:33:24 -04:00
.gitignore	Merge commit '023dd440d4a0e6e59a14c88013837d79a77c74e0' into 1.1-merge	2013-07-29 16:21:20 -04:00
pom.xml	updated versions to 1.3	2016-07-05 14:39:22 -04:00