Skip to content
Personal
Open source
Business
Explore
Sign up
Sign in
Pricing
Blog
Support
Search GitHub
This repository
Watch
48
Star
1,415
Fork
102
zsh-users
/
zsh-autosuggestions
Code
Issues
17
Pull requests
3
Pulse
Graphs
Readme: extend section Known issues (closes #14)
#63
Merged
faceleg
merged 1 commit into
zsh-users
:
master
from
jirutka
:
patch-7
May 23, 2015
Conversation
2
Commits
1
Files changed
Labels
None yet
Milestone
No milestone
Assignees
No one assigned
3 participants
jirutka
commented
May 22, 2015
/cc
@faceleg
jirutka
Readme: extend section Known issues (closes
#14
)
a796ce5
faceleg
merged commit
dde838c
into
zsh-users
:
master
May 23, 2015
faceleg
commented
May 23, 2015
Good idea!
twe4ked
commented
May 23, 2015
👍
jirutka
deleted the
jirutka
:
patch-7
branch
May 23, 2015
Sign up for free
to join this conversation on GitHub
. Already have an account?
Sign in to comment
You can't perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
/cc @faceleg