Fix typo and redundant text in the documentation.#2260
Merged
yichoi merged 1 commit intojerryscript-project:masterfrom Mar 29, 2018
vincedani:documentation-typo-fix
Merged
Fix typo and redundant text in the documentation.#2260yichoi merged 1 commit intojerryscript-project:masterfrom vincedani:documentation-typo-fix
yichoi merged 1 commit intojerryscript-project:masterfrom
vincedani:documentation-typo-fix