tree 580a794c239fb372f1acfa2168b804dc19640bbd
parent ca9d5ce8032c4160035aecfc08b429202c3c7297
parent aae7d5bbd888bdf40c544ac3816725b03bce38b8
author Ingo Weigelt <iw@wglt.de> 1418655449 +0100
committer Ingo Weigelt <iw@wglt.de> 1418655449 +0100

Merge branch 'filtersearch' of ssh://git.eclipse.org:29418/rmf/org.eclipse.rmf into filtersearch