diff options
-rw-r--r-- | grep.morph | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -2,7 +2,6 @@ "name": "grep", "kind": "chunk", "configure-commands": [ - "rm .git*", "bash bootstrap --skip-po", "./configure --prefix=/usr --disable-nls" ], |