| deboer | dbf0851 | 2005-02-11 15:47:28 +0000 | [diff] [blame] | 1 | # Debugging options for the org.eclipse.jst.server.core plugin |
| 2 | |||||
| 3 | # Turn on general debugging | ||||
| 4 | org.eclipse.jst.server.core/debug=true | ||||
| deboer | 123b625 | 2006-08-14 03:18:59 +0000 | [diff] [blame^] | 5 | |
| 6 | # Turn on general debugging | ||||
| 7 | org.eclipse.jst.server.core/publishing=false | ||||