Merge pull request #780 from tobiasge/fixed-comment
Fixed comment and variable name
commit d5093201ee45c311872ed461f46e762183d21abc
2 parents f80cc70 + 401777a
@Tobias Genannt Tobias Genannt authored on 22 Jun 2022
GitHub committed on 22 Jun 2022
Showing 1 changed file
View
build.sh