Closed GoogleCodeExporter closed 8 years ago
The problem is that the scanner is wrong and uses {{ and }} instead of (* and *)
Original issue reported on code.google.com by vmas...@gmail.com on 15 Sep 2008 at 4:47
vmas...@gmail.com
Done
Original comment by vmas...@gmail.com on 15 Sep 2008 at 4:52
Original issue reported on code.google.com by
vmas...@gmail.com
on 15 Sep 2008 at 4:47