ndai | a512038 | 2004-10-13 15:46:19 +0000 | [diff] [blame] | 1 | # Debugging options for the org.eclipse.jst.server.tomcat.core plugin |
2 | |||||
3 | # Turn on general debugging | ||||
deboer | dbf0851 | 2005-02-11 15:47:28 +0000 | [diff] [blame] | 4 | org.eclipse.jst.server.tomcat.core/debug=true |