diff options
| author | Tanaka Akira | 2019-02-11 14:43:40 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-11 14:43:40 +0900 |
| commit | b9c75963bccb690e16207f9fe4ce23c5e9318ee6 (patch) | |
| tree | 48b99a17327ca4a543125d55414935e5db3b8cdb /kernel/cbytecodes.ml | |
| parent | e9bec8dca7c317800227fac329c7f9b6e9b4a1dc (diff) | |
Use {LEFT,RIGHT} DOUBLE QUOTATION MARK.
Use LEFT DOUBLE QUOTATION MARK (U+201C) and
RIGHT DOUBLE QUOTATION MARK (U+201D) instead of
QUOTATION MARK (U+0022).
QUOTATION MARK is formatted as same form both for
opening and closing quotation mark.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions