diff options
| author | Graham Christensen <graham@grahamc.com> | 2022-02-05 13:13:47 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-05 13:13:47 -0500 |
| commit | 605aa6ca3ada41c1633936ae34ae7e6a78682d59 (patch) | |
| tree | 209e37461afe40c53d7902663ac3f752beda76d8 /doc/shell.nix | |
| parent | 05f127a994f14b21510697c4e11ad15b23298767 (diff) | |
| parent | 37cfd9fef8622bfe130ae033d227e6e324f837d8 (diff) | |
Merge pull request #157886 from jonringer/prune-release-small
release-small: prune more obsolete software
Diffstat (limited to 'doc/shell.nix')
0 files changed, 0 insertions, 0 deletions