diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-03-11 09:35:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 09:35:01 +0100 |
| commit | 7ebd6f1093bd0795c77bdc007fe66349328e491e (patch) | |
| tree | 7d0c2bddc360f95a513b8863c056133308d4cf97 /src/libstore/remote-store.hh | |
| parent | 4d98143914120d0163f5c50f30ce8a5289433f8f (diff) | |
| parent | 53523c0ab834416e38a15cf7be6f71d8f68d1c99 (diff) | |
Merge pull request #5758 from mschwaig/fix-git-workspace-dirty-detection
git fetcher: fix detection of dirty git workspaces
Diffstat (limited to 'src/libstore/remote-store.hh')
0 files changed, 0 insertions, 0 deletions