replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
[harness] adding HAGFISH_LOCATION to the site config Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
Initial version of public stable barrelfish repository.