diff options
| author | Christian Höltje <docwhat@gerf.org> | 2017-07-27 06:39:49 +0300 |
|---|---|---|
| committer | Christian Höltje <docwhat@gerf.org> | 2017-07-27 06:39:49 +0300 |
| commit | be6c0320252d2c750884a90664a26b58eb824920 (patch) | |
| tree | 8e01eec96cddedd24a71b5222b0f7390fb31371d /docker | |
| parent | 0bcef50e29f55c2858457c8a06da3219b1911a85 (diff) | |
rvm: handle -head, etc. more gracefully.
Closes #575
Diffstat (limited to 'docker')
0 files changed, 0 insertions, 0 deletions