Message270872
-1
I think the current devguide theme looks fine and it would be nice to keep devguide and Python documentations use different themes.
I'd be -0 if the patch was small, but diff stat "11 files changed, 1651 insertions(+), 10 deletions(-)" is huge and it would be nice to avoid code duplication. The current theme has some bugs and now we will have to update two different repos everytime we touch the docs.p.o theme. |
|
Date |
User |
Action |
Args |
2016-07-20 14:02:15 | berker.peksag | set | recipients:
+ berker.peksag, georg.brandl, rhettinger, vstinner, ezio.melotti, python-dev, zach.ware, willingc, lisroach |
2016-07-20 14:02:14 | berker.peksag | set | messageid: <1469023334.98.0.836143313501.issue23951@psf.upfronthosting.co.za> |
2016-07-20 14:02:14 | berker.peksag | link | issue23951 messages |
2016-07-20 14:02:14 | berker.peksag | create | |
|