mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
The internal header was a legacy, declared two functions only. One of them was not used anymore at all, the other was used at a single call site. Moreover, their documentation was outdated. This patch removes the header and the related function implementations -- as well as the temptation to use such internal functions from outside the library. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu