[gnome-shell] Clean out some eclipse artefacts

[Florian Müllner <fmuellner src gnome org>]

commit da3953a3886a8a86c8ab5fe6f29a226dda64dc05
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Feb 12 20:31:46 2019 +0100

    Clean out some eclipse artefacts
    
    Someone added those in the mists of time, likely by mistake.

 .project                                           |  31 --
 .settings/org.eclipse.cdt.core.prefs               | 148 ----------
 .settings/org.eclipse.cdt.ui.prefs                 |   4 -
 .settings/org.eclipse.wst.jsdt.core.prefs          | 315 ---------------------
 .settings/org.eclipse.wst.jsdt.ui.prefs            |  10 -
 .../org.eclipse.wst.jsdt.ui.superType.container    |   1 -
 .settings/org.eclipse.wst.jsdt.ui.superType.name   |   1 -
 7 files changed, 510 deletions(-)