Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

powerline-rs: fix stuff #40033

Merged
merged 1 commit into from May 7, 2018
Merged

powerline-rs: fix stuff #40033

merged 1 commit into from May 7, 2018

Conversation

jD91mZM2
Copy link
Member

@jD91mZM2 jD91mZM2 commented May 6, 2018

I'm really sorry about messing up buildInputs/propagatedBuildInputs.
I was under the impression that build was builtime and propagated was runtime.

Although, this PR isn't completely useless!
I added bash & fish completion as a bonus :)

@jD91mZM2
Copy link
Member Author

jD91mZM2 commented May 7, 2018

Oh no sorry didn't mean to delete it, I forgot this wasn't merged yet! D:

@joachifm joachifm merged commit 4893356 into NixOS:master May 7, 2018
@jD91mZM2 jD91mZM2 deleted the powerline-rs branch May 7, 2018 14:45
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.

None yet

3 participants