Skip to content

GitLab

Explore

Sign in
Register

Tags

Tags give the ability to mark specific points in history as being important

gnome-shell-3.36

a4476d21 · Merge pull request #323 from mwilck/GNOME-3.36 · Apr 30, 2020
```
Supports GNOME 3.36 (and 3.34).
```
Unverified
gnome-shell-3.28

16b7a0e3 · Merge pull request #325 from mwilck/noversion · Mar 16, 2020
```
Supports GNOME shell 3.28 and earlier
```
Unverified
gnome-shell-3.34

92eb262b · Merge pull request #316 from mwilck/master · Apr 28, 2020
```
GNOME 3.34 support
```
Unverified
gnome-shell-3.32

0cd48ff0 · Merge pull request #312 from mwilck/GNOME-3.32 · Apr 28, 2020
```
GNOME 3.32 support
```
Unverified
gnome-shell-3.30

9e0a1923 · Merge pull request #303 from DirkHoffmann/patch-2 · Apr 28, 2020
```
GNOME shell 3.30 support.
```
Unverified
0.10.0

0d815b26 · Merge branch 'release/0.10.0' · Apr 10, 2018

Release:
```
Version 0.10.0
```
Unverified
gnome-shell-3.8.x

07937803 · Merge pull request #61 from dobladov/master · Aug 18, 2013
gnome-shell-3.6.x

cc5a5e86 · Merge pull request #56 from msize/patch-1 · Feb 21, 2013
gnome-shell-3.4.x

388fa0f1 · pushin' to extensions · Oct 05, 2012
gnome-shell-3.2.x

b7d3594c · whitespace and minor style fixes · Feb 13, 2012
gnome-shell-3.0.x

3ee20e1a · found destroy_children for the todays facts table · Sep 04, 2011