All Git Users → patriziobruno

1 open source projects by patriziobruno

[ Open user page on Github ]

1. grubreboot-gnome-shell-extension

gnome-shell extension to add a "Reboot" button to the end-session-dialog, that runs grub-reboot before restart

✭ 18

javascript Makefile extension gnome-shell

1-1 of 1 user projects