Closed BrendanHalpin closed 3 years ago
Comments beginning with "//" were no longer recognised for font-locking. This change restores previous behaviour.
Thanks!
Comments beginning with "//" were no longer recognised for font-locking. This change restores previous behaviour.