diff options
| author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-04-22 19:23:18 +0200 |
|---|---|---|
| committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2021-05-19 17:22:12 +0200 |
| commit | 312aeda393f9775f603a78c7feb0a11f3c789c02 (patch) | |
| tree | f138eb3b9bcc90484e2affffe13443dbfa9eca5c /misc/docker/debian-7-amd64 | |
| parent | 280d133a9b50dab88d51871927f26cd967211f85 (diff) | |
Tools: Improve make-dev-archive
Use git-archive to avoid unrelated and temporary files and fix some
minor issues (e.g. dependency on bash as system shell).
Diffstat (limited to 'misc/docker/debian-7-amd64')
0 files changed, 0 insertions, 0 deletions