This repository has been archived on 2024-08-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Klaus Weidenbach d5cd6f9a51 Comment and code about UTF-8 @-sign do not match. ...

Changed code according to comment:
First AT is now full-width AT U+FF20.
Do we also need to replace small AT U+FE6B?

2016-10-11 11:48:16 +02:00

62 KiB

Raw Blame History

View Raw