Brecht Van Lommel 41d9cf225d Fix "make update" not using the right branch for source/tools		2019-10-11 12:22:28 +02:00
..
build_tgz.sh	Cleanup: use 2 space indentation for shell scripts	2019-04-17 06:08:01 +02:00
make_test.py	Build: prepare "make update" to work for new release cycle branching	2019-10-09 15:09:53 +02:00
make_update.py	Fix "make update" not using the right branch for source/tools	2019-10-11 12:22:28 +02:00
make_utils.py	Build: prepare "make update" to work for new release cycle branching	2019-10-09 15:09:53 +02:00