9da010ae6e
Recent changes to master have already introduced API-breaking changes. So, if someone is still including the legacy headers, following up on the header file name changes will be the least of their problems. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu