diff options
author | Stefan Kerkmann <karlk90@pm.me> | 2023-06-27 01:54:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-27 09:54:31 +1000 |
commit | be3205fae0f9150eecdb77c7cf8ab8ebc40c88a5 (patch) | |
tree | 8caec1cc8a333377693ad0a002db67299306cbee /shell.nix | |
parent | 5542f5ede1356df387dfb10587f2d74e40fa62a8 (diff) |
Minor board clean-up after #19780 (#21391)
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions