diff options
| author | Erich Eckner <git@eckner.net> | 2019-08-18 15:30:01 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-18 15:30:01 +0200 |
| commit | 794c2f417b0671d6f16e8e47f4ac3d41db42be2c (patch) | |
| tree | b0ae1feefedda7144abafca50a16413ab466d1f2 /scrub-for-gpg-keys | |
| parent | 6dfd2712428994166611d2ccb83c1f950a28374a (diff) | |
| download | devops-794c2f417b0671d6f16e8e47f4ac3d41db42be2c.tar.xz | |
check-linux-versions: check all repos; less magix
Diffstat (limited to 'scrub-for-gpg-keys')
0 files changed, 0 insertions, 0 deletions