Remove --no-ri option

Authored by khandpur on Fri, Dec 21, 4:47 PM.

Description

Remove --no-ri option

Details

Committed
GitHub <noreply@github.com>Fri, Dec 21, 4:47 PM
Parents
R23:d8776f191df7: remove --no-rdoc option as it's unavailable
Branches
Unknown
Tags
Unknown
References
refs/pull/780/head