#Local properties for Rhino, please do not push this to version control if you don't know what you're doing!
#Thu Jan 09 18:18:54 CET 2025
