diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2021-02-04 22:33:14 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2021-02-04 22:45:44 +0100 |
| commit | d75a0ec6bc9e26e200544e7f435bdda06002257b (patch) | |
| tree | d86bc270ed496c27b8b8493d5bdabb1962f695f0 /localdebgitpush | |
| parent | 5dae9094c12a26ebea4b6772028b47b3947ec5b7 (diff) | |
tidy: isolate more low-level options
Diffstat (limited to 'localdebgitpush')
0 files changed, 0 insertions, 0 deletions