Solution 1:
Yes, since you didn't install either via script, a package manager or an .pkg
you can simply delete the file and you're done.
Yes, since you didn't install either via script, a package manager or an .pkg
you can simply delete the file and you're done.