package info (click to toggle)
gnome-shell-timer 0.3.20%2B20190726-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 380 kB
  • sloc: javascript: 324; python: 237; xml: 72; sh: 51; makefile: 16

Folder: 0.3.20+20190726-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .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-- 8 .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,541 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