diff options
author | sterni <sternenseemann@systemli.org> | 2023-06-23T12·29+0200 |
---|---|---|
committer | sterni <sternenseemann@systemli.org> | 2023-06-23T23·20+0000 |
commit | f46a0f7d6e6c5c2c21d8df42b1cbe076cc2060af (patch) | |
tree | 9a17ed196c79d449d6c215d01fc8d6f6535a93df /users/grfn/system/home/modules/development.nix | |
parent | c3628af8cc4ec79dc03b47db724b29da7b3d47ba (diff) |
chore(ops/whitby): drop obsolete grub version option r/6350
Change-Id: I8f89f00d3eca5cef23dc7698208b08e0b6826393 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8854 Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'users/grfn/system/home/modules/development.nix')
0 files changed, 0 insertions, 0 deletions