package info (click to toggle)
gnome-shell-timer 3.38.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 304 kB
  • sloc: javascript: 369; python: 237; sh: 60; makefile: 20

Folder: 3.38.0-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 153 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 106 po
d d rwxr-xr-x 85 timer%40olebowle.gmx.com
- - rw-r--r-- 32 .gitignore
- - rw-r--r-- 32,472 COPYING
- - rw-r--r-- 1,974 README.md
- - rw-r--r-- 263 gnome-shell-timer-config.desktop
- - rwxr-xr-x 11,560 gnome-shell-timer-config.py
- - rw-r--r-- 25,666 gnome-shell-timer-config.svg
- - rwxr-xr-x 3,028 make.sh
- - rw-r--r-- 3,366 org.gnome.shell.extensions.timer.gschema.xml.init
- - rw-r--r-- 5,420 utilities-timer-symbolic.svg