diff base/ResourceFinder.cpp @ 715:62811ec41cbf library_integration

Merge from the default branch
author mathieub <mathieu.barthet@eecs.qmul.ac.uk>
date Mon, 17 Oct 2011 14:10:28 +0100
parents 9a0272c2d596
children 66c3f4e060e9
line wrap: on
line diff