diff options
| author | sterni <sternenseemann@systemli.org> | 2023-06-21T22·47+0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2023-06-23T12·24+0000 |
| commit | aedb609368626b2b0bd67700d4b0be4c16907c03 (patch) | |
| tree | 0737f991c3253e991243845662f8c69df21d0b29 /tools/gerrit-cli.nix | |
| parent | 0d743696d035296f61e0147e820de016df8f9eb8 (diff) | |
chore(sterni/machines/edwin): drop obsolete grub version option r/6347
Change-Id: I40452e0a4f7237eb7352fb3f7342a64bf0e37cd2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8841 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/gerrit-cli.nix')
0 files changed, 0 insertions, 0 deletions