diff options
| author | Florian Klink <flokli@flokli.de> | 2021-08-02 21:43:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-02 21:43:42 +0200 |
| commit | eff94d8bf3a17c72afadca9903334e2b44b3401f (patch) | |
| tree | 80b5919201debb31a05387732c6db8c5f60616e5 /nixos | |
| parent | ee50c21488d5cb3aed33035855d182e67bbda285 (diff) | |
| parent | ced7721191dbc31b29f467a432a590e9df8385be (diff) | |
Merge pull request #132445 from flokli/linux-5.14-ide
linux: only configure IDE to "no" pre-5.14
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions