diff war/Sti.html @ 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 6bdbe4fb0c7e
children 5ef409e34638
line wrap: on
line diff