opdemand/deis — pull request #393 by mboersma (2013-12-13 18:23:38+00:00)
Title: Added navigation elements for docset versions. Refs #256.

Still need to backfill this into v0.2.1 and v0.3.0 so the nav actually works before we can close #256.