diff options
author | Maria Matejka <mq@ucw.cz> | 2022-03-02 10:35:21 +0100 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2022-03-02 12:13:49 +0100 |
commit | 48bf1322aa141ca6259b26b37551402758cff0cc (patch) | |
tree | b900a58ac1356bf3724cfa226070ff97df3d52d5 /.dir-locals.el | |
parent | 2e8b8bfcc46ec1493f9e0efe9c796b88df85ada4 (diff) |
Introducing an universal temporary linpool flushed after every task
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions