diff options
author | defanor <defanor@uberspace.net> | 2017-11-02 16:00:04 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-02 16:00:04 +0300 |
commit | b77e94263040047bdc750fabf93022ee98be526f (patch) | |
tree | 49c16e7b5a94447b20c7e4736e9a3fd7f1cc2ca1 /Pancake.hs | |
parent | 0bca972ee68bd673a6a4b928f55ccce9c513d05a (diff) |
pancake.el: generate buffers for stderr handlers
Otherwise the same buffer gets reused, and cleanup of one session
kills all sessions.
Diffstat (limited to 'Pancake.hs')
0 files changed, 0 insertions, 0 deletions