diff options
| author | Joel Challis <git@zvecr.com> | 2023-01-07 17:05:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-07 17:05:53 +0000 |
| commit | 974a1eaf2a1076de0cc06deeefe12e15b7e209bc (patch) | |
| tree | 9b3f151fa17b2ce923dee1d28e126883c03645ce /shell.nix | |
| parent | 403c7eeb5c2dd5ff896a228fe3e7832a5c773340 (diff) | |
Ignore defaults.hjson values if already set (#19511)
* Ignore defaults.hjson values if already set
* Add warning when nothing is merged
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions