Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Previous commit had a bug that a line which ends with "//" or "/*" is not correctly highlighted.
- Loading branch information