* ./src/interface/main.c: if Ctrl-C doesn't kill vlc cleanly for any
[vlc.git] / doc / 
tree9c3771cbe7c4fb80bb47a5d69b953e1907add9d3
drwxr-xr-x   ..
-rw-r--r-- 1971 bugreport-howto.txt
drwxr-xr-x - developer
drwxr-xr-x - lirc
-rw-r--r-- 2939 release-howto.txt
-rw-r--r-- 41049 transforms.py
-rw-r--r-- 33248 vlc-howto.sgml
-rw-r--r-- 6665 vlc.1
-rw-r--r-- 9500 web-streaming.html
drwxr-xr-x - win32