4 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	28ad87ded1	auto generate github links for repos, more content updates	2018-11-09 20:23:24 +01:00
Matthias Kretschmann	fe621e527c	content updates, move some stuff from ocean repo	2018-11-09 19:08:36 +01:00
Matthias Kretschmann	afef8b15b5	hightlight docker-imageas, more repos	2018-11-09 17:44:24 +01:00
Matthias Kretschmann	07fd09f4d9	rename and refactor	2018-11-09 17:18:14 +01:00