New Pull Request

Highlighted reverse search #22

Merged

sev merged 1 commits from inputrc into master 5 years ago

sev commented 5 years ago

Owner

Added highlighted reverse search for readline

sev added 1 commit 5 years ago

e3f4fad4d6 Added highlighted reverse search

sev merged commit 0e71106a9b into master 5 years ago

sev referenced this issue from a commit 5 years ago

Highlighted reverse search (#22)

sev deleted branch inputrc 5 years ago

ci the build was successful

Details

The pull request has been merged as 0e71106a9b.

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.