diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-12-12 17:08:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-12 17:08:01 +0100 |
commit | a642b1030188f7538ef6243cd7fd1404419a6933 (patch) | |
tree | ff0bd385f28f7d862cf86857f49efa611b7ab748 /.editorconfig | |
parent | 11ef807c22acb3232f5ccf5f1c9a53b55280bd6c (diff) | |
parent | a456630a5a93db170bbc5570ae0e1a48a16cbe09 (diff) |
Merge pull request #5420 from bew/allow-disable-global-registry
Allow to disable global flake-registry with ""
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions