diff options
| author | enterprisey <danielhglus@gmail.com> | 2019-06-09 22:12:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-09 22:12:29 -0700 |
| commit | b41eecd31bb7fe56de838d15fc632f51856a80cb (patch) | |
| tree | c2d330b34a5003e7311d362b3e96c5aeae26e4cc /rplugin | |
| parent | 507f164a09d2cb3c99983424f9d186d6f4081820 (diff) | |
| download | ale-b41eecd31bb7fe56de838d15fc632f51856a80cb.zip | |
In README, more efficient git clones
Users don't need the entire git history to use the plugin, so don't download it
Diffstat (limited to 'rplugin')
0 files changed, 0 insertions, 0 deletions