Source Package: gnome-shell-timer (0.3.20+20171025-2)
Links for gnome-shell-timer
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- GNOME Shell extension providing a countdown timer in the top panel
Other Packages Related to gnome-shell-timer
- helper programs for debian/rules
- interactive high-level object-oriented language (Python2 version)
- Debian helper tools for packaging Python libraries and applications