Skip to content

docs: Mention InputRC on Builtins#1252

Merged
gnodet merged 2 commits intojline:masterfrom
vorburger:patch-6
May 10, 2025
Merged

docs: Mention InputRC on Builtins#1252
gnodet merged 2 commits intojline:masterfrom
vorburger:patch-6

Conversation

@vorburger
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread website/docs/modules/builtins.md Outdated
Co-authored-by: Guillaume Nodet <gnodet@gmail.com>
@gnodet gnodet merged commit e4722ee into jline:master May 10, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants