Closed fcollot closed 7 months ago
This PR adds a settings tab intended for developers. Activating the option can make various functions and info visible in the application that would be useful for developers but confusing for normal users.
This PR adds a settings tab intended for developers. Activating the option can make various functions and info visible in the application that would be useful for developers but confusing for normal users.