lib: media_player: fix libvlc_MediaPlayerMediaChanged event
[vlc.git] / extras / tools / 
tree46ffaa8b1754a22126766f62f200928602a285b6
drwxr-xr-x   ..
-rw-r--r-- 56 .gitignore
-rw-r--r-- 3314 SHA512SUMS
-rw-r--r-- 1484 automake-clang.patch
-rw-r--r-- 2432 bison-macOS-7df04f9.patch
-rw-r--r-- 2088 bison-macOS-c41f233c.patch
-rwxr-xr-x 4750 bootstrap
-rw-r--r-- 2310 cmake-enable-ALPN-support-on-macOS-10.14.patch
-rw-r--r-- 1684 libtool-2.4.6-bitcode.patch
-rw-r--r-- 786 libtool-2.4.6-clang-libs.patch
-rw-r--r-- 4109 libtool-2.4.6-response-files.patch
-rw-r--r-- 2307 libtool-2.4.6-san.patch
-rw-r--r-- 2172 packages.mak
-rw-r--r-- 388 ragel-6.8-javacodegen.patch
-rw-r--r-- 10421 tools.mak