plint

commit 2ea2202b7c832e2151330daf7c64b7d577428677
parent 890f0351e54423182349a9728bc81865db1591dc
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Mon, 18 May 2020 10:19:43 +0200

mention pip

Diffstat:
README
 | 
3
+++

1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/README b/README
@@ -52,6 +52,9 @@ https://a3nm.net/git/plint_extra.
 This section provides a quick summary of how to get started with setting up and
 using plint. If these instructions do not work for you, please let me know.
 
+Plint has been packaged for Python and can now be installed by running 
+"pip3 install plint". These instructions explain how to install it manually.
+
 0. Basic setup
 
 Make sure that you have a working python3 installation and that you have unzip