diff options
author | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2019-10-11 13:21:55 +0300 |
---|---|---|
committer | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2019-10-11 13:22:28 +0300 |
commit | 41d9cf225d3ed890fedaa03cdc4849b333cb0d0e (patch) | |
tree | 7dd9b6057bcdd5f0d59aae01d89b49432fdf3aee /doc | |
parent | 4b570f5b575e5a004326b8a6aa724bb0d26906a3 (diff) |
Fix "make update" not using the right branch for source/tools
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions