beremiz

Fix settings URL: now '/' instead of '/settings'

2023-12-09, Edouard Tisserant
c7ec55cbd35a
Fix settings URL: now '/' instead of '/settings'
C extension