Merge branch 'bugfix/#101-rename-master.build.properties' into 'develop'

chore: rename file

Closes #101

See merge request !72
8 jobs for develop in 6 minutes and 20 seconds (queued for 2 seconds)