gnome-shell/.settings
Florian Müllner da3953a388 Clean out some eclipse artefacts
Someone added those in the mists of time, likely by mistake.
2019-02-13 04:39:26 +01:00
..
.jsdtscope Convert all JS style to be uniform, add Eclipse settings bits 2008-11-28 20:12:20 +00:00