diff options
| author | Phil Jones <philj56@gmail.com> | 2022-07-27 01:05:27 +0100 |
|---|---|---|
| committer | Phil Jones <philj56@gmail.com> | 2022-07-27 01:05:27 +0100 |
| commit | cf9669976601697be36e21e3359709f09c31d9da (patch) | |
| tree | d816141fd992f762e1be854dbdcce623999cd281 /doc/config | |
| parent | bb80769bfdf2efcbf000bf838feaee0c1b31183d (diff) | |
Fix drun mode when history is enabled.
Diffstat (limited to 'doc/config')
0 files changed, 0 insertions, 0 deletions