search

redpen-cc / redpen-doc

RedPen user's manual
http://redpen.cc/docs/latest/index.html
Apache License 2.0
3 stars 18 forks source link

Modify the Japanese default symbol settings #69

Closed takahi-i closed 7 years ago

takahi-i commented 7 years ago

Ref https://github.com/redpen-cc/redpen/pull/739