12 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	0f85651d61	bump dev-ocean	2018-11-22 12:00:48 +01:00
Troy McConaghy	f9c2aacd26	Update the dev-ocean submodule	2018-11-22 10:44:09 +01:00
Matthias Kretschmann	04dd0ea66f	switch to master of dev-ocean	2018-11-16 17:53:42 +01:00
Matthias Kretschmann	46a573cf5c	bump dev-ocean	2018-11-16 17:35:41 +01:00
Matthias Kretschmann	717e0939a8	bump dev-ocean	2018-11-16 14:46:28 +01:00
Matthias Kretschmann	6eab893dd4	add principles document	2018-11-16 14:23:01 +01:00
Matthias Kretschmann	7de0d40f80	make edit link work for external repo contents	2018-11-15 23:51:12 +01:00
Matthias Kretschmann	e156f82236	add new architecture docs	2018-11-15 14:34:01 +01:00
Matthias Kretschmann	93887d5dcd	package updates	2018-11-15 14:30:11 +01:00
Matthias Kretschmann	d4da212bfe	bump dev-ocean	2018-11-14 20:00:14 +01:00
Matthias Kretschmann	e66dbd334b	prototype page creation from submodule	2018-11-14 15:17:19 +01:00
Matthias Kretschmann	a01dc54baa	add dev-ocean as submodule	2018-11-14 14:20:34 +01:00