build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).
[pulseaudio-mirror.git] / doxygen / 
treee7b686bfd27578d0c522cfe98233cdabdf31619e
drwxr-xr-x   ..
-rw-r--r-- 18 .gitignore
-rw-r--r-- 829 Makefile.am
-rw-r--r-- 47563 doxygen.conf.in