diff .classpath @ 30:1e95995ddbb2

re-added the ability to refine the dataset by a (very simple) text search
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Wed, 28 Nov 2012 17:01:34 +0100
parents 14a45e7ec62e
children
line wrap: on
line diff