diff options
author | Peter Benjamin <petermbenjamin@gmail.com> | 2023-08-01 13:23:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-01 21:23:53 +0100 |
commit | 0bc2ea0800f5be8aa3ea83d7dbf5a3e1df05217d (patch) | |
tree | e962511f852d1f8125f62dfe478523fecd75f593 /plugin | |
parent | 18cd44c57dc3fcebbb83a50e86dd0e8c751be2f2 (diff) | |
download | ale-0bc2ea0800f5be8aa3ea83d7dbf5a3e1df05217d.zip |
docs: fix typo (#4567)
Closes #4517
Co-authored-by: Peter Benjamin <peterbenjamin@peters-mbp.lan>
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions