search

patriziobruno / grubreboot-gnome-shell-extension

gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart
GNU General Public License v3.0
22 stars 8 forks source link

german translation #2

Closed stefangweichinger closed 9 years ago