RE: [ros-diffs] [martinf] 33: import the lean explorer branch into thenew repository

[Casper Hornstrup]

If you want to use Subversion's merging abilities then
you need to copy this from trunk.

Casper