diff options
author | fpi | 2021-01-04 16:11:50 +0100 |
---|---|---|
committer | fpi | 2022-03-17 14:37:56 +0100 |
commit | a2ea0847bb39932338b73428f38863084cd2c96d (patch) | |
tree | c333f623c4583b9013b8e17e990b659c4037f1f8 /.dir-locals.el | |
parent | Rename gnus group buffer (diff) |
Add another device configuration
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions