Gitiles
Code Review Sign In
git.eclipse.org / servertools / webtools.servertools / 77286dd871e911ee91ebeab60ae92d19521815ba / . / plugins / org.eclipse.jst.server.ui / .options
blob: a747d697c53a2d78c5023a77fe028c5829f3b78d [file] [log] [blame]
deboerdbf08512005-02-11 15:47:28 +0000[diff] [blame]1# Debugging options for the org.eclipse.jst.server.ui plugin
2
3# Turn on general debugging
4org.eclipse.jst.server.ui/debug=true