commit | f9a30199e7083bdda8adad3a4fa2ec42d25c1fdb | [log] [tgz] |
---|---|---|
author | Máximo Cuadros <mcuadros@gmail.com> | Tue Jun 18 23:59:11 2019 +0200 |
committer | GitHub <noreply@github.com> | Tue Jun 18 23:59:11 2019 +0200 |
tree | f7444e0731d559859de6d5739983f4ec9b40ab12 | |
parent | a35ce6e8ee8e0fc5449c0fd10d45d0bddc894edc [diff] | |
parent | b4fba7ede146be79cf65b89975250cf6869fb409 [diff] |
Merge pull request #1142 from EmrysMyrddin/feature/export-new-remote git : allows to create a Remote without a Repository