Merge git-tools repository under "tools" subdirectory
[gitweb.git] / debian /
drwxr-xr-x   parent (dest: ; base: 98e031f0bb6e857c684e6db24d03d22cfc1a532a)
-rw-r--r-- 151 changelog
-rw-r--r-- 723 control
-rw-r--r-- 44 copyright
-rw-r--r-- 16 docs
-rw-r--r-- 255 git-core.doc-base
-rw-r--r-- 1430 rules