Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-11-09 | [ci skip] Polish docs in user_guide_src/source/general/ | Andrey Andreev | 1 | -16/+35 |
2011-10-07 | Fix some user guide style | purwandi | 1 | -2/+2 |
2011-10-05 | replacing the old HTML user guide with a Sphinx-managed user guide | Derek Jones | 1 | -0/+90 |