source: orxonox.OLD @ 3883

Name	Size	Rev	Age	Author	Last Change
orxonox		3883	19 years	bensch	orxonox/trunk: now a check for a directory should return true also in …