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 /third_party/lisp/puri.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 'third_party/lisp/puri.nix')
0 files changed, 0 insertions, 0 deletions