package info (click to toggle)
gnome-shell-extension-mediaplayer 0~git20161209-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 584 kB
  • ctags: 42
  • sloc: makefile: 70; sh: 16

Folder: 0~git20161209-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 23 config
d d rwxr-xr-x 35 data
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 31 m4
d d rwxr-xr-x 4,096 po
d d rwxr-xr-x 4,096 src
- - rw-r--r-- 235 .gitignore
- - rw-r--r-- 18,092 COPYING
- - rw-r--r-- 118,498 ChangeLog
- - rw-r--r-- 1,117 Makefile.am
- - rw-r--r-- 8,127 README.md
- - rwxr-xr-x 515 autogen.sh
- - rw-r--r-- 781 configure.ac
- - rw-r--r-- 351 include.mk