package info (click to toggle)
gnome-shell-timer 0.3.12%2B20140924-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 208 kB
  • ctags: 36
  • sloc: python: 198; xml: 57; sh: 50; makefile: 17

Folder: 0.3.12+20140924-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 138 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 90 po
d d rwxr-xr-x 45 timer@olebowle.gmx.com
- - rw-r--r-- 5 .gitignore
- - rw-r--r-- 32,472 COPYING
- - rw-r--r-- 1,547 README.md
- - rw-r--r-- 263 gnome-shell-timer-config.desktop
- - rwxr-xr-x 9,639 gnome-shell-timer-config.py
- - rw-r--r-- 25,666 gnome-shell-timer-config.svg
- - rwxr-xr-x 2,432 make.sh
- - rw-r--r-- 2,488 org.gnome.shell.extensions.timer.gschema.xml
- - rw-r--r-- 5,420 utilities-timer-symbolic.svg