3 Commits

Include renames

Author	SHA1	Message	Date
A.Unger	18cd1d9351	use type constructor	2019-12-17 15:20:56 +01:00
A.Unger	dfb3f6e15f	rename micro-runtime -> micro + change category	2019-12-17 14:40:39 +01:00
A.Unger	819e8dc82d	init micro runtime separately	2019-12-17 14:40:39 +01:00