Sven Fuchs 734a7b9566 use travis-settings, remove travis/settings		2016-06-19 16:07:06 +02:00
..
travis	use travis-settings, remove travis/settings	2016-06-19 16:07:06 +02:00