We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent bcdc3ab commit 7cd8e0cCopy full SHA for 7cd8e0c
1 file changed
INSTALL.md
@@ -526,8 +526,8 @@ proceed to [install EasyCrypt from Source](#installing-easycrypt-from-source).
526
You also need to install the following libraries:
527
- [Python3 YAML](https://pyyaml.org/wiki/PyYAMLDocumentation)
528
- [Python3 Curses](https://docs.python.org/3/library/curses.html#module-curses)
529
- > **Note:** This might already be included with your Python installation. If so,
530
- > you do not need to install it separately.
+ - *Note: This might already be included with your Python installation. If so,
+ you do not need to install it separately.*
531
Additional resources:
532
- https://pypi.org/project/PyYAML
533
- https://github.com/yaml/pyyaml
0 commit comments