Quoting "Ignacio J. Ortega" <[EMAIL PROTECTED]>: > > De: Jon Scott Stevens [mailto:[EMAIL PROTECTED]] > > Enviado el: 18 de julio de 2002 1:34 > > > > > [X] I don't want the API's split into separate repo's > > [ ] I don't care > > [ ] I want the API's split into separate repo's. > > > > I dont see why this needs another repo, my only reason is that there are > too much already, but i can understand the naming problem is very > confusing to serve 2 different apis under the name of only one of them, > this should by changed, now that is easy.. > > Counterproposal: > > one repo "jakarta-tomcat-apis", this saves the naming point it's > neutral, this could contain every api Tomcat uses for 5.0 and in future, > branching allowed, ) > > 2 dirs inside "servlet" & "jsp", standalone build.xml for each, and one > common in the root repo dir.. to match every taste..
+1 that's a good idea ;) -- To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]> For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>