Sun, 03 Jun 2018 14:03:19 +0200 Detlev Offenbach Git: added capability to change the URL and/or user credentials for a remote repository. file | diff | annotate
(0) tip

eric ide

mercurial