diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-05-17 10:05:14 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-17 10:05:14 +0200 |
commit | dfc393ffd3cb38c60146199c60f03b7e1d97aec8 (patch) | |
tree | 49f671045f02e7076b1d6212cac7a941b5d9ee34 /src/libstore/pathlocks.hh | |
parent | 5fd161189d2405353eef6b1e7eb9441d6be1911e (diff) | |
parent | 908bc9a9574d31193b90e6c9ceb65d9622d4ed78 (diff) |
Merge pull request #8273 from wamserma/fix-6dbce3
fix "add an option to include flake-registry..."
Diffstat (limited to 'src/libstore/pathlocks.hh')
0 files changed, 0 insertions, 0 deletions