Skip to content
This repository has been archived by the owner on Mar 14, 2023. It is now read-only.

Add editor repos #43

Closed
huonw opened this issue Jan 29, 2015 · 0 comments · Fixed by #45
Closed

Add editor repos #43

huonw opened this issue Jan 29, 2015 · 0 comments · Fixed by #45

Comments

@huonw
Copy link
Member

huonw commented Jan 29, 2015

(Filing an issue just so its not forgotten, since I don't have time to do it right now.)
huonw added a commit to huonw/highfive that referenced this issue Feb 3, 2015
@huonw
Add more crates: editor configs and rand.
1a3e0b5 
Closes rust-lang#43.
@huonw huonw mentioned this issue Feb 3, 2015
Merged
huonw added a commit to huonw/highfive that referenced this issue Feb 3, 2015
@huonw
Add more crates: editor configs and rand.
fa39419 
Closes rust-lang#43.
@nrc nrc closed this as completed in #45 Feb 3, 2015
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add more crates: editor configs and rand. huonw/highfive
1 participant
@huonw