diff options
| author | Mike Krüger <mkrueger@xamarin.com> | 2016-02-12 10:15:53 +0300 |
|---|---|---|
| committer | Mike Krüger <mkrueger@xamarin.com> | 2016-02-12 10:15:53 +0300 |
| commit | 439e9b630d32d13635529499c0a4185079ae7ce2 (patch) | |
| tree | 189abb1865e61ccd960008ab80d43e95648058fd /main/configure.in | |
| parent | f8263d31a10a49c699dfd969cc910c4731c459b8 (diff) | |
Removed SharpCoco from configure.in
Diffstat (limited to 'main/configure.in')
| -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 |