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 /gnuplot.org | |
parent | Replace org headline bullets with org-num-mode (diff) |
Fix redtick configuration
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions