debian specific patch information for eclipse-cdt / 3.1.2-2

 org.eclipse.cdt.releng/platform/build.properties |   10 +---------
 org.eclipse.cdt.releng/sdk/build.properties      |   10 +---------
 2 files changed, 2 insertions(+), 18 deletions(-)

 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsole.java        |   13 ++
 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsoleManager.java |   11 ++
 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/buildconsole/BuildConsolePage.java    |    9 +-
 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/ui/CUIPlugin.java                                 |   44 +++++++---
 4 files changed, 60 insertions(+), 17 deletions(-)

 results/plugins/org.eclipse.cdt.ui/plugin.properties                                                    |    2 
 results/plugins/org.eclipse.cdt.ui/plugin.xml                                                           |    6 
 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/text/c/hover/DefinedSymbolHover.java |   67 ++++++++++
 3 files changed, 75 insertions(+)

 results/plugins/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/GeneratedMakefileBuilder.java |   56 +++++-----
 1 file changed, 31 insertions(+), 25 deletions(-)

 customTargets.xml |   77 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)

 build.xml |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

 results/plugins/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/parser/IScannerInfoPlus.java    |   16 +++++++++
 results/plugins/org.eclipse.cdt.ui/src/org/eclipse/cdt/internal/ui/editor/OpenIncludeAction.java |   17 +++++++---
 2 files changed, 28 insertions(+), 5 deletions(-)