Fix for two UI glitches:
[blender.git] / extern / ode / dist /
drwxr-xr-x   ..
-rw-r--r-- 1624 INSTALL
-rw-r--r-- 1626 LICENSE-BSD.TXT
-rw-r--r-- 26428 LICENSE.TXT
-rw-r--r-- 10352 Makefile
-rw-r--r-- 11214 Makefile.deps
-rw-r--r-- 1431 README
-rw-r--r-- 876 README_BLENDER
drwxr-xr-x - config
-rw-r--r-- 13174 configurator.c
drwxr-xr-x - include
drwxr-xr-x - ode
drwxr-xr-x - tools