Source: gnome-shell-extension-restart-shell
Section: utils
Priority: optional
Maintainer: Fatih Altun <fatih.altun@pardus.org.tr>
Build-Depends: debhelper (>=11~)
Standards-Version: 4.1.4
Homepage: https://www.pardus.org.tr/

Package: gnome-shell-extension-restart-shell
Architecture: any
Multi-Arch: foreign
Depends: ${misc:Depends}, ${shlibs:Depends}, xdotool
Description: Restart the shell
 GNOME Shell extension which restarts the shell. This is specific
 Pardus project.
