ChristopherSchultz commented on PR #731: URL: https://github.com/apache/tomcat/pull/731#issuecomment-2161585676
My preference is for the ide-idea ant target to work for *most people*. _Most people_ are not Tomcat developers, but people who have downloaded our sources and are building them locally for whatever reason. I would want this to break in a way that is more easily-solved by most of these users. Tomcat devs can ask their colleagues how to get around a problem that is specific to them. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
