diff options
| author | Paolo G. Giarrusso | 2020-01-27 21:38:26 +0100 |
|---|---|---|
| committer | Paolo G. Giarrusso | 2020-01-27 23:24:03 +0100 |
| commit | 9e1a30ce69b3ebdd8f1617d7c3a0b92641c771fd (patch) | |
| tree | a230adbaf8195be2b8c565fe3430f85cf4b5085f /plugins/syntax/plugin_base.dune | |
| parent | 614643e6fb1b5029d1c2bf50cd51f95d621010cf (diff) | |
Fix off-by-one in docs of `first num last` (fix #11463)
Diffstat (limited to 'plugins/syntax/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions