diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-12-16 03:44:31 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
commit | a8c85a85f6527938b804a9d111fe10f237806f7e (patch) | |
tree | 1c67333b1d7b79b53a33e770990198b1c19e2f3f /scripts/ci/steps | |
parent | a6059d493e2948bb033eb37beb2a962d1f5ec2f3 (diff) |
Reintroduce type conventions: s/proj_type/pt/ s/cache/c/
Diffstat (limited to 'scripts/ci/steps')
0 files changed, 0 insertions, 0 deletions