5 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	7d461f75f4	lint & format	2018-11-12 12:52:39 +01:00
Matthias Kretschmann	1b26599abd	copy updates	2018-11-11 04:02:34 +01:00
Matthias Kretschmann	0cd438fa97	use repository component in markdown	2018-11-11 01:32:05 +01:00
Matthias Kretschmann	fe621e527c	content updates, move some stuff from ocean repo	2018-11-09 19:08:36 +01:00
Matthias Kretschmann	97b003bd74	add a development section	2018-11-09 18:31:55 +01:00