mirrors/discord.py
1
0
Fork 0
mirror of https://github.com/Rapptz/discord.py.git synced 2025-04-20 16:00:29 +00:00
Code Issues Projects Releases Wiki Activity
2,452 Commits 17 Branches 80 Tags
Commit Graph

7 Commits

Author SHA1 Message Date
Rapptz
4c917d10de Use the standard way of detecting RTD 2019-07-01 00:37:35 -04:00
Rapptz
ac00fcad77 Flatten genindex to not group names. 
Also better width in the tables.
 2019-06-30 18:59:19 -04:00
Rapptz
c26797d808 Proper RTD detection. 2019-06-29 02:34:11 -04:00
Rapptz
1652539d40 Disable RTD search. 
It's completely broken anyway.
 2019-06-29 01:31:00 -04:00
Rapptz
ab00bc0686 Strip discord.ext in genindex page and unbreak PEP links. 2019-06-28 21:29:43 -04:00
Rapptz
acda808803 Make the generated index page more useful for Ctrl + F. 2019-06-28 21:04:43 -04:00
Rapptz
db3bc4076a Completely new theme separate from alabaster. 2017-05-15 01:22:00 -04:00