josch f45a13dde7 read edges from stdin instead of argv		2013-04-11 10:18:03 +02:00
..
graphs	read edges from stdin instead of argv	2013-04-11 10:18:03 +02:00