diff options
| author | noa@gaiwan.org | 2024-06-12 22:58:33 +0000 |
|---|---|---|
| committer | noa@gaiwan.org | 2024-06-12 22:58:33 +0000 |
| commit | a3fb4c2c2aa6626e66e03852b578718fe1433598 (patch) | |
| tree | d76a7d921d75a33e11baa402816fd8e386e05e99 /firefox/user.js | |
| parent | d67201febe01806b2093d41bce78f60c8f34f77a (diff) | |
Don't enable org-pretty-entities
I don't use latex syntax for symbols, so it's a useless option for me. Because that's not my habit, it's useful to know what really is and isn't in the buffer.
Diffstat (limited to 'firefox/user.js')
0 files changed, 0 insertions, 0 deletions