Can I please just download /gradle.properties alone? if not, I can't do anything about coding with this website.
