Header

Format: http://dep.debian.net/deps/dep5

Upstream-Name: gnome-shell-extension-timer

Upstream-Contact: Ole Ernst <olebowle@gmx.com>

Source: https://github.com/olebowle/gnome-shell-extension-timer/archives/master