--- a/scripts/install.py Sun Nov 01 11:06:10 2020 +0100
+++ b/scripts/install.py Sun Nov 01 11:07:43 2020 +0100
@@ -1338,6 +1338,7 @@
installInfo["argv_edited"] = False
installInfo["eric_edited"] = False
+
def pipInstall(packageName, message):
"""
Install the given package via pip.