package info (click to toggle)
gnome-shell-timer 0.3.20%2B20171025-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 292 kB
  • sloc: python: 237; xml: 72; sh: 51; makefile: 17

Folder: 0.3.20+20171025-2

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 106 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-- 1,547 README.md
- - rw-r--r-- 263 gnome-shell-timer-config.desktop
- - rwxr-xr-x 11,562 gnome-shell-timer-config.py
- - rw-r--r-- 25,666 gnome-shell-timer-config.svg
- - rw-r--r-- 87,309 kitchen_timer.ogg
- - rwxr-xr-x 2,527 make.sh
- - rw-r--r-- 3,170 org.gnome.shell.extensions.timer.gschema.xml
- - rw-r--r-- 5,420 utilities-timer-symbolic.svg