diff options
| author | tv <tv@krebsco.de> | 2021-11-08 03:23:04 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2021-11-08 05:14:49 +0100 |
| commit | ebd5fbbe053521a397bf645546a8cbcf12713e6c (patch) | |
| tree | d169c0bc0059295bab4039c0efe6c215084df2d4 /krebs/5pkgs/simple/drivedroid-gen-repo/default.nix | |
| parent | c8c0f2597f15791fb1c9faa5c8371dc1639dbd89 (diff) | |
buildbot: fix for manual
Diffstat (limited to 'krebs/5pkgs/simple/drivedroid-gen-repo/default.nix')
0 files changed, 0 insertions, 0 deletions