diff options
| author | Bjørn Forsman <bjorn.forsman@gmail.com> | 2020-03-18 08:44:37 +0100 |
|---|---|---|
| committer | Julian Stecklina <js@alien8.de> | 2020-03-29 22:29:58 +0200 |
| commit | b306b7039ef3f2b76dbcc8020dcf67ed27442e7a (patch) | |
| tree | b83ab2edf20c3cfb03befab242da9fcfb4c574d4 /doc/manual/figures/user-environments.png | |
| parent | be84049baf047fd2eee08def5c8013797c0832a0 (diff) | |
fetchGit: checkout rev instead of latest ref
Major bugfix for the submodules = true code path.
TODO: Add tests.
Diffstat (limited to 'doc/manual/figures/user-environments.png')
0 files changed, 0 insertions, 0 deletions