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