G

gnome-shell-timer

gnome-shell-timer Debian packaging

Project ID: 9620
Name
Last commit
Last update
debian Loading commit data...
po Loading commit data...
timer@olebowle.gmx.com Loading commit data...
.gitignore Loading commit data...
COPYING Loading commit data...
README.md Loading commit data...
gnome-shell-timer-config.desktop Loading commit data...
gnome-shell-timer-config.py Loading commit data...
gnome-shell-timer-config.svg Loading commit data...
kitchen_timer.ogg Loading commit data...
make.sh Loading commit data...
org.gnome.shell.extensions.timer.gschema.xml Loading commit data...
utilities-timer-symbolic.svg Loading commit data...