diff options
author | Ben Hilburn <bhilburn@gmail.com> | 2017-07-27 14:38:37 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-27 14:38:37 +0300 |
commit | 176559a050e884964122202cc329d0b174366500 (patch) | |
tree | 8e01eec96cddedd24a71b5222b0f7390fb31371d /.gitignore | |
parent | 0bcef50e29f55c2858457c8a06da3219b1911a85 (diff) | |
parent | be6c0320252d2c750884a90664a26b58eb824920 (diff) |
Merge pull request #583 from docwhat/pr/rvm-575
rvm: handle -head, etc. more gracefully.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions