Akos Kiss 68f3465eb5 Change current time from uint64_t to double in Date Port API ...

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss [email protected]

2016-04-21 14:51:31 +02:00

..

jerry-port-default-date.c

Change current time from uint64_t to double in Date Port API

2016-04-21 14:51:31 +02:00

jerry-port-default-fatal.c

Introduce the Termination Port API

2016-04-19 14:10:18 +02:00

jerry-port-default-io.c

Introduce the Termination Port API

2016-04-19 14:10:18 +02:00

jerry-port-default.h

Introduce the Termination Port API

2016-04-19 14:10:18 +02:00