[GitHub] tomcat pull request #127: Add a fake attribute for source

2018-10-21 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/tomcat/pull/127 --- - To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org

[GitHub] tomcat pull request #127: Add a fake attribute for source

2018-10-15 Thread mdfst13
GitHub user mdfst13 opened a pull request: https://github.com/apache/tomcat/pull/127 Add a fake attribute for source Eclipse adds a source attribute to Tomcat's Context element. Presumably this helps it keep track of what context element relates to what project. Tomcat however