Jedrzej Kosinski de6a56f1db Made use of deprecated/experimental .js features, made settings menu names consistent

2024-07-02 01:10:08 -05:00

..

js

Made use of deprecated/experimental .js features, made settings menu names consistent

2024-07-02 01:10:08 -05:00