Bram Moolenaar 816e7660e1 patch 8.0.0749: some unicode digraphs are hard to remember ...

Problem:    Some unicode digraphs are hard to remember.
Solution:   Add alternatives with a backtick. (Chris Harding, closes #1861)

2017-07-22 20:42:04 +02:00

54 KiB

Raw Blame History

View Raw