diff options
| author | fpi | 2022-03-17 13:33:44 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:45:41 +0100 |
| commit | dc43dc2cf0c311e9de928cdd4a1c62f247d21c7a (patch) | |
| tree | 354891b167080a44d5bd0585a9fa154a3a27a3a3 /gnus.org | |
| parent | Add descriptions to fpi-map bindings (diff) | |
Replace org headline bullets with org-num-mode
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions