| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Use the standard way of detecting RTD | Rapptz | 2019-07-01 | 1 | -1/+1 |
| | | |||||
| * | Flatten genindex to not group names. | Rapptz | 2019-06-30 | 1 | -1/+2 |
| | | | | | Also better width in the tables. | ||||
| * | Proper RTD detection. | Rapptz | 2019-06-29 | 1 | -1/+1 |
| | | |||||
| * | Disable RTD search. | Rapptz | 2019-06-29 | 1 | -0/+11 |
| | | | | | It's completely broken anyway. | ||||
| * | Strip discord.ext in genindex page and unbreak PEP links. | Rapptz | 2019-06-28 | 1 | -0/+8 |
| | | |||||
| * | Make the generated index page more useful for Ctrl + F. | Rapptz | 2019-06-28 | 1 | -0/+18 |
| | | |||||
| * | Completely new theme separate from alabaster. | Rapptz | 2017-05-15 | 2 | -0/+30 |