Ahum, ode does needs it's usersettings. (non-patching platforms didn't have it,
[blender-staging.git] / extern / ode / dist / tools /
drwxr-xr-x   ..
-rwxr-xr-x 697 build4
-rwxr-xr-x 1122 build4.bat
-rwxr-xr-x 861 make_distribution
-rwxr-xr-x 376 process_deps