Update README.md

This commit is contained in:
danyaberezun 2023-10-04 15:40:24 +03:00 committed by GitHub
parent 308a9f47d9
commit 3b8c6586eb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -98,7 +98,7 @@ Ubuntu-based variant of WSL is recommended.
3. Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells) 3. Pin Lama package using `opam` and right URL (remember of "#" being a comment character in various shells)
```bash ```bash
$ opam pin add Lama https://github.com/PLTools/Lama.git\#1.2 --no-action $ opam pin add Lama https://github.com/PLTools/Lama.git\#v1.2 --no-action
``` ```
The extra '#' sign is added because in various Shells it is the start of a comment The extra '#' sign is added because in various Shells it is the start of a comment