diff options
| -rw-r--r-- | main/configure.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/main/configure.in b/main/configure.in index 1c7a0ccd45..20a0aa197a 100644 --- a/main/configure.in +++ b/main/configure.in @@ -315,7 +315,6 @@ src/core/MonoDevelop.TextEditor.Tests/Makefile src/tools/Makefile src/tools/mdhost/Makefile src/tools/mdtool/Makefile -src/tools/SharpCoco/Makefile src/tools/mdmonitor/Makefile src/addins/Makefile src/addins/MonoDeveloperExtensions/Makefile |