6 Commits (0da719e8f5610a4adf656aee25d38776ce60d3f4)

Author SHA1 Message Date
  Stefan Bodewig 0da719e8f5 document mappedresources 17 years ago
  Stefan Bodewig 496b59d0aa merge license additions from 1.7 branch (i.e. revs 637870 to 637914) 18 years ago
  Kevin Jackson c9ae2fb990 -use antunit-base 18 years ago
  Stefan Bodewig 4b16358b66 linefeeds 19 years ago
  Steve Loughran 14f760492c Made web.xml non optional again, as it was hiding too many bugs (e.g war files for tomcat 5), but added an attribute to make it optional. 19 years ago
  Steve Loughran c91cce227b web.xml is now optional in Java EE. I've tweaked <war> to warn but continue if it is omitted, and not to say anything if there is a duplicate reference to the same web.xml, but to complain a lot if there are two conflicting ones (with diagnostics). 19 years ago