diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-18 10:46:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-18 10:46:51 +0200 |
| commit | d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93 (patch) | |
| tree | 0623eb4c7bbc82674aeafe6d92d83acbe4f4a7e8 /misc | |
| parent | 6a3b49ae66eea02569e80c1c0fa2043c159038e4 (diff) | |
| download | builder-d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93.tar.xz | |
do not delete lock files
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions