Skip to content

Rename 'jerry_api_' prefix to 'jerry_' in the main-riotos.c file#1133

Merged
bzsolt merged 1 commit intojerryscript-project:masterfrom
robertsipka:target_riotos
Jun 10, 2016
Merged

Rename 'jerry_api_' prefix to 'jerry_' in the main-riotos.c file#1133
bzsolt merged 1 commit intojerryscript-project:masterfrom
robertsipka:target_riotos

Commits

Commits on Jun 9, 2016