Changed something in the header file

This commit is contained in:
dario
2024-07-08 19:18:38 +02:00
parent 2055b8a3a2
commit fc3ff75094