search

inlabru-org / inlabru

inlabru
https://inlabru-org.github.io/inlabru/
76 stars 21 forks source link

devtools -> remotes #59

Closed courtiol closed 5 years ago

courtiol commented 5 years ago

The devtools package has exploded into several small lightweight packages, so the good practice to install from github is now to use remotes instead of devtools (even if devtools re-export the main functions from remotes).

fbachl commented 5 years ago

Thanks for the contribution and sorry for the delay in merging this!