From c355cd501853fbbfe0e6ccb177b46fd5026e3943 Mon Sep 17 00:00:00 2001 From: Roman Venediktov Date: Wed, 10 Jul 2024 19:26:51 +0200 Subject: [PATCH] Remove redundant command from README.md --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 56da3bfa7..b6ecba22d 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,6 @@ Ubuntu-based variant of WSL is recommended. 4. Install dependencies on system-wide external packages and `lama` itself after that. ```bash - opam depext Lama --yes opam install Lama --yes ```