We'll point them to master as soon as the docs exist on master.
On Thu, Dec 19, 2013 at 4:13 PM, Marcel Kinard <cmarc...@gmail.com> wrote: > +1 to Michael's comments. > > And I know it is a bit too early to do this, but the links to the docs on > github should point to the master branch, not the dev branch, correct? > > I don't think there is anything wrong with big docs, as long as they are > useful and navigable. > >
