Nis Wechselberg 25571df341 Adjusted ssh config, adjusted genpdf alias		2018-05-20 14:03:51 +02:00
..
config	Adjusted ssh config, adjusted genpdf alias	2018-05-20 14:03:51 +02:00