Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-09-23 | [ci skip] Cherry-pick docs pulldown nav fix from develop | Master Yoda | 1 | -85/+117 |
2015-02-04 | Add pulldown menu to user guide. | jim | 2 | -1/+119 |
2014-12-12 | changed theme to sphinx_rtd_theme | David Wosnitza | 1 | -0/+47 |