Update build.sh
Include suggestion from cimnine

Co-authored-by: Christian Mäder <[email protected]>
1 parent 7fb78b3 commit d8a6c321a15d6deb2b19ebb77455333a4f6ac4ec
@Tobias Genannt Tobias Genannt authored on 14 May 2020
GitHub committed on 14 May 2020
Showing 1 changed file
View
build.sh