diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-06-24 14:55:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-24 14:55:31 +0200 |
commit | 60f06a1714a74bf144eb9ccad9643578248bdfc4 (patch) | |
tree | 5f2c4badd53cd83e2ca027832a992d0e81a8ca6e /shell.nix | |
parent | fd4f03b8fdcb0f33552730c786139019e29f5dbe (diff) | |
parent | a7b49086c76bc181ab1cf1d3c7fba44b06d2f1dd (diff) |
Merge pull request #5385 from Enzime/add/dirty-rev
Add `dirtyRev` and `dirtyShortRev` to `fetchGit`
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions