diff options
author | fpi | 2020-07-27 11:24:25 +0200 |
---|---|---|
committer | fpi | 2020-08-01 18:27:30 +0200 |
commit | de9a2d58187d81731d36d358a71fae6b8f53918f (patch) | |
tree | 3c4f99fc5e7b3996025e28140ebcd440db8627bc /.dir-locals.el | |
parent | Add a keybinding for olivetti mode (diff) |
Fix some text
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions