diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2023-02-08 12:53:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-08 11:53:28 +0000 |
| commit | e4a2a5c074f8faf947a8864ca2acea85a8fc6ab7 (patch) | |
| tree | b571d139bdda2ea8d0f651f55a1de8d77f11d07b /src/libmain | |
| parent | ec788964e91e0bf17eae5aac6b5dc0ab79c18c11 (diff) | |
Documentation: builtins.fetchGit when used on a local path (#7706)
* Documentation: builtins.fetchGit when used on a local path
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'src/libmain')
0 files changed, 0 insertions, 0 deletions