This extension integrates GNOME Shell with GRUB to reboot
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
13 | Active |
12 | Active |
11 | Rejected |
10 | Rejected |
9 | Rejected |
8 | Active |
7 | Active |
6 | Active |
5 | Active |
4 | Active |
3 | Active |
2 | Rejected |
1 | Inactive |
Sorry for the multiple submission. It was intended as a test of an auto publish on commit, but it should have called a stub, instead of a real url. Sorry again.