summaryrefslogtreecommitdiff
path: root/doc/src/tools/lib
Commit message (Collapse)AuthorAgeFilesLines
* Trim trailing whitespace from all files throughout projectJon Dufresne2017-12-013-5/+2
| | | | | | Many editors automatically trim whitespace on save. By trimming all files in one go, makes future diffs cleaner without extraneous whitespace changes.
* Make dbapi_extension.py compatible with Sphinx 1.6Dmitry Shachnev2017-10-121-7/+6
| | | | | | In Sphinx commit 1a821b89e9952fc2, the deprecated make_admonition() function was removed. This commit updates the code to use the modern API instead.
* Added plural version of the tickets roleDaniele Varrazzo2014-08-311-25/+32
|
* Point tickets to GitHub instead of LighthouseDaniele Varrazzo2014-08-311-2/+15
| | | | | Keep into account the numbers reshuffling: Lighthouse bugs with a number matching a GitHub merge request are shifted ahead.
* NEWS file reformatted to reST and included in the docsDaniele Varrazzo2013-03-181-0/+39
|
* Added missing import required by Sphinx 1.0.Daniele Varrazzo2010-08-051-0/+1
|
* Documentation dir reordered.Daniele Varrazzo2010-02-142-0/+73