package info (click to toggle)
gnome-shell-timer 0.0.20120615+gitbde3fd2-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 188 kB
  • sloc: python: 198; xml: 57; sh: 50; makefile: 17

Folder: 0.0.20120615+gitbde3fd2-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 74 po
d d rwxr-xr-x 57 timer@olebowle.gmx.com
- - rw-r--r-- 5 .gitignore
- - rw-r--r-- 32,472 COPYING
- - rw-r--r-- 2,040 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,430 make.sh
- - rw-r--r-- 2,488 org.gnome.shell.extensions.timer.gschema.xml
- - rw-r--r-- 5,420 utilities-timer-symbolic.svg