Johannes Weiß a6239a9005 make contributors generator executable & change dir correctly (#403) ... Motivation: The script to generate the contributors list wasn't executable and forgot to change to the correct directory before invoking `git`. Modifications: - make `scripts/generate_contributors_list.sh` executable - correctly change directory before invoking git Result: it's now possible to invoke the script without explicitly running `bash` and it's no longer important what directory one invokes the script from.		2018-05-15 10:24:32 +01:00
..
generate_contributors_list.sh	make contributors generator executable & change dir correctly (#403)	2018-05-15 10:24:32 +01:00
generate_docs.sh	Generate WebSocket documentation. (#276)	2018-04-04 17:45:52 +01:00
generate_linux_tests.rb	Refactors generate_linux_tests script (#236)	2018-03-27 11:36:45 -07:00
integration_tests.sh	run integration tests in info mode (#332)	2018-04-18 18:32:40 +01:00
sanity.sh	add useful dtrace scripts to debug allocations (#352)	2018-04-25 15:23:09 +01:00