diff options
| author | fpi | 2022-03-17 13:36:40 +0100 |
|---|---|---|
| committer | fpi | 2022-03-17 14:45:42 +0100 |
| commit | f666eac5fddf8932846e71364c5c3e0b6e412f2f (patch) | |
| tree | 570263c687fe11ef58137c7105d770245bc78bf2 /.gitignore | |
| parent | Replace org headline bullets with org-num-mode (diff) | |
Fix redtick configuration
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions