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/doxygen | |
| parent | 4b570f5b575e5a004326b8a6aa724bb0d26906a3 (diff) | |
Fix "make update" not using the right branch for source/tools
Diffstat (limited to 'doc/doxygen')
0 files changed, 0 insertions, 0 deletions