Jörg Thalheim f4a4854f3e hosts/turingmachine: set port		2015-02-19 09:38:13 +01:00
..
eva	hosts eve/eva: prefer ip over hostname	2015-02-19 09:37:15 +01:00
eve	hosts eve/eva: prefer ip over hostname	2015-02-19 09:37:15 +01:00
turingmachine	hosts/turingmachine: set port	2015-02-19 09:38:13 +01:00