Remove removed micro from Makefile

2020-06-02 14:05:12 +02:00 · 2020-06-02 14:05:12 +02:00 · db3a147d72
parent d791b8ee69
commit db3a147d72
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -2131,7 +2131,6 @@ SUBDIR+=	mg-cvs
 SUBDIR+=	mg-lsh
 SUBDIR+=	mic-paren
 SUBDIR+=	michabo
-SUBDIR+=	micro
 SUBDIR+=	microbiomeutil
 SUBDIR+=	microblog-purple
 SUBDIR+=	microcom