Joao Moreno
|
a398adac13
|
revert git uri changes
fixes #88775
|
2020-01-22 15:29:13 +01:00 |
|
Joao Moreno
|
ec8de4eb45
|
git: better uri parsing error message
|
2019-11-20 10:53:20 +01:00 |
|
Joao Moreno
|
5fdfdd7e6c
|
git: use querystring instead of JSON for uris
|
2019-11-20 10:50:53 +01:00 |
|
Joao Moreno
|
e055299e77
|
fix git commands
|
2019-11-20 09:37:02 +01:00 |
|
Joao Moreno
|
15bfc40222
|
smaller footprint
|
2019-11-07 14:05:21 +01:00 |
|
Joao Moreno
|
5d60b7fdc4
|
wip: git fs provider
|
2019-11-07 11:31:01 +01:00 |
|
Matt Bierner
|
dd3e2d94f8
|
Remove use strict directives in extension code
We compile with alwaysStrict so these directives are not needed
|
2018-10-02 16:02:44 -07:00 |
|
Joao Moreno
|
b7fad651ac
|
fix bad uri duplication
|
2017-12-14 15:07:25 +01:00 |
|
Joao Moreno
|
9f131c1762
|
more submodule support, diff colorization
|
2017-12-13 16:21:12 +01:00 |
|
Joao Moreno
|
9ad949b99b
|
🐛 fixes #24521
|
2017-04-11 16:26:54 +02:00 |
|
Joao Moreno
|
564b9a8a1e
|
🐛 isolate git uri handling
fixes #23297
|
2017-04-10 15:28:13 +02:00 |
|