diff options
| author | Christian Clason <christian.clason@uni-due.de> | 2021-08-13 13:42:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-13 13:42:04 +0200 |
| commit | 2a86f47df649af3336ae10af73f0dbd574ca8cb1 (patch) | |
| tree | cf0eaf825957956868162c727d936dc12b440f2d /scratch/example.lua | |
| parent | f557ae9081ed62f535fc582dab5fa734bea0ea71 (diff) | |
chore: speed up bootstrap for minimal.lua
* use `git://` protocol
* omit `--no-single-branch` (since plenary contains stale branches with large objects)
Diffstat (limited to 'scratch/example.lua')
0 files changed, 0 insertions, 0 deletions