diff options
| author | Kamil Trzciński | 2018-11-06 20:39:50 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-06 20:39:50 +0100 |
| commit | bf513f66ebf4e33a6c923bff0d0c7828dda58acf (patch) | |
| tree | 077c5dec0fea7b515fedaf5d8c773156e8a805ca /plugins/syntax | |
| parent | 92d1a0c14ef326929b6870541073bcae4d2c895d (diff) | |
Optimise git cloning
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions