Liam Murphy e0e797c27d
Classify dots.c, dots.down, dots.up and dots.v as normal (#1726)
Fixes #713. They were previously classified by Unicode as relations, which caused a '+' sign after one of them to be treated as a unary operator rather than a binary operator. This PR overrides the Unicode classification and classifies them as normal instead, which causes a '+' sign after one of them to be properly treated as a binary operator.
2023-07-17 16:08:19 +02:00
..
2023-03-27 16:51:03 +02:00
2023-07-10 11:00:12 +02:00
2023-06-28 10:36:53 +02:00
2023-06-09 10:25:12 +02:00
2023-07-10 12:09:09 +02:00
2023-06-09 14:48:23 +02:00
2023-05-24 16:58:51 +02:00
2023-02-02 14:13:56 +01:00