Adapt to new prettify-symbols-unprettify-at-point default
commite1605252fd8ca904e83782a5bbfce15564ef7696
authorTassilo Horn <tsdh@gnu.org>
Sat, 3 Oct 2015 05:49:08 +0000 (3 07:49 +0200)
committerTassilo Horn <tsdh@gnu.org>
Sat, 3 Oct 2015 05:49:08 +0000 (3 07:49 +0200)
tree65f4ccf6c7c01314262552d929f22588bed2ebc1
parentde7fc458e99867b6cb540ec033c3b740a1dd65e9
Adapt to new prettify-symbols-unprettify-at-point default

* etc/NEWS: Mention that unprettication of symbol at point is off by
default.
etc/NEWS