#Local properties for Rhino, please do not push this to version control if you don't know what you're doing!
#Wed Jul 02 17:18:30 CEST 2025