diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-09-26 17:31:42 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-09-26 17:32:41 +0200 |
commit | 34dd91fc10c0fcd33aced8a658a90cd6a6734850 (patch) | |
tree | e78e420c0e57877b7571df0969a17f0a0d51e7df /scripts/ci/steps/15-print-packages.sh | |
parent | d5c60908dfbfc746979d2a4bc9ec5bb8f05f1e7a (diff) |
Rename 'default*' -> 'mk*'
Diffstat (limited to 'scripts/ci/steps/15-print-packages.sh')
0 files changed, 0 insertions, 0 deletions