contrib: schroedinger: remove obsolete patches
[vlc/gmpfix.git] / extras / tools / 
tree702a154801400ff971eb22a26e697c7baeace31d
drwxr-xr-x   ..
-rw-r--r-- 41 .gitignore
-rwxr-xr-x 2858 bootstrap
-rw-r--r-- 1266 packages.mak
-rw-r--r-- 388 ragel-6.8-javacodegen.patch
-rw-r--r-- 5338 tools.mak