diff options
author | Calvin Beck <hobbes@ualberta.ca> | 2018-10-31 14:58:00 -0400 |
---|---|---|
committer | Calvin Beck <hobbes@ualberta.ca> | 2018-11-01 09:47:46 -0400 |
commit | 5203b440d3edb17caf88aa9315a8525875f343b9 (patch) | |
tree | f57ac5c4d0e1a2027ded2c4dd8bd96ee34e103aa /hol-light | |
parent | 798739255ec1002438b6f9250acac9786ca28554 (diff) |
Ignore ephemeral buffers, and buffers not pointed at files.
This helps with, for example, org-src-fontification buffers.
https://lists.gnu.org/archive/html/emacs-orgmode/2016-03/msg00354.html
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions