changelog

changeset 6327
a1716d9210f4
parent 6324
b11c36cba2a1
child 6338
104ee21d765d
--- a/changelog	Tue Jun 05 19:14:10 2018 +0200
+++ b/changelog	Wed Jun 06 20:05:39 2018 +0200
@@ -5,6 +5,8 @@
 - Git Interface
   -- added capability to change the URL and/or user credentials for a
      remote repository
+- pip Interface
+  -- added support for the '--user' option of install and list commands
 
 Version 18.06:
 - bug fixes

eric ide

mercurial