diff options
| author | Tobias Bell <uberspace@tobiasbell.de> | 2018-06-08 22:07:30 +0200 |
|---|---|---|
| committer | Tobias Bell <uberspace@tobiasbell.de> | 2018-06-08 22:07:30 +0200 |
| commit | af3663edec48f252f510f66f663e1af323cdfa0f (patch) | |
| tree | 4884c570d1d58b0e6786ffbdc5413ed8f335e3cd /js/prefs.js | |
| parent | f5302247c6eecba217f35173b3f038cc828a7402 (diff) | |
Don't bail out if git gc removed refs
Diffstat (limited to 'js/prefs.js')
0 files changed, 0 insertions, 0 deletions