craigcitro/r-travis — pull request #36 by krlmlr (2013-10-28 01:36:46+00:00)
Title: new function DevtoolsProvide that only installs devtools if it cannot be loaded

fixes #35