diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-25 14:11:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-25 14:21:25 +0200 |
| commit | 1c456a50fee54ec4a2d3195449ef3682035b6f4f (patch) | |
| tree | 151b6e7e6025297149956e76383d4c9ef4d6709b /bin/repo-copy | |
| parent | 1a07793e9947836d8f8a26c605c0dcfc4955b615 (diff) | |
| download | builder-1c456a50fee54ec4a2d3195449ef3682035b6f4f.tar.xz | |
bin/tmp-bootstrap: name of stored procedude customizablewdy-wip
Diffstat (limited to 'bin/repo-copy')
0 files changed, 0 insertions, 0 deletions