gnome-shell/.settings
2020-03-02 11:59:43 +01:00
..
.jsdtscope ExtensionsPref: always convert the extension version to a string 2020-03-02 11:59:43 +01:00