0c8941715d
It's now called edge_tiling since it can do more than just side-by-side tiling. https://bugzilla.gnome.org/show_bug.cgi?id=630548 |
||
|---|---|---|
| .. | ||
| shaders | ||
| theme | ||
| clock-preferences.ui | ||
| close-black.svg | ||
| gnome-shell-clock-preferences.desktop.in.in | ||
| gnome-shell.desktop.in.in | ||
| gnome-shell.schemas | ||
| gs-applications.menu | ||
| magnifier.svg | ||
| Makefile.am | ||
| org.gnome.accessibility.magnifier.gschema.xml.in | ||
| org.gnome.shell.gschema.xml.in | ||
