refs/heads/debug-milestone-4 - gerrit/platform/eclipse.platform.debug - Git at Google

commit: b1cf2b73c965db72efddc1c18699608019e322ef
[log] [tgz]
author: jszursze <jszursze>
Thu Mar 21 17:00:34 2002 +0000
committer: jszursze <jszursze>
Thu Mar 21 17:00:34 2002 +0000
tree: 76005a8a5a661df401c8a707b0c352d33f0b85e6
parent: d94da558edd31cab05cc4ab371433af5a5bd728d [diff]

fix for #12025

org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/DebugUIPlugin.java[diff]

1 file changed

tree: 76005a8a5a661df401c8a707b0c352d33f0b85e6