debian/20140802-1

tobi@coldtobi.de

85f3383b · New patch: POT file and German translation. · Aug 02, 2014

gnome-shell-extension-autohidetopbar Debian release 20140802-1