Merge ROMA branch to master #515

Merged
zxq9 merged 7 commits from merge_roma into master 2019-02-08 22:13:11 +09:00
Showing only changes of commit ceb7de2119 - Show all commits

View File

@ -5,7 +5,6 @@
{applications,
[kernel,
stdlib,
enacl,
syntax_tools,
aebytecode
]},