Gitiles
Code Review Sign In
git.eclipse.org / servertools / webtools.servertools / 5a2ca755d2bc2e03208940a1027ab6e3b033d1b8 / . / plugins / org.eclipse.jst.server.core / .options
blob: 7da2b5442c18a041e6423c2c30cbc733954c2542 [file] [log] [blame]
deboerdbf08512005-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
4org.eclipse.jst.server.core/debug=true