diff options
Diffstat (limited to 'devel/Makefile')
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index 2ced9fd8275f..67041675f30d 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1039,7 +1039,6 @@ SUBDIR += mono-addins SUBDIR += mono-tools SUBDIR += monodevelop - SUBDIR += monodevelop-boo SUBDIR += monodevelop-database SUBDIR += monodevelop-java SUBDIR += monodevelop-vala |