mirror of
https://github.com/Redot-Engine/redot-engine.git
synced 2025-12-06 23:31:53 -05:00
@reduz pushed the old 44989bc957 commit
today which he had forgotten in his local clone, and apparently it does
not compile. Also fixed style.