Miodrag Milanovic 6954dd25eb Set minimal core, since full does not work for some reason		2021-11-23 15:26:54 +01:00
..
platforms	added comments	2021-11-23 14:58:08 +01:00
prog
targets	Set minimal core, since full does not work for some reason	2021-11-23 15:26:54 +01:00
tools
__init__.py