6 Commits

Author	SHA1	Message	Date
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