log docs/assets/css/pygments.pygstyle @ 1035:1a7f3ae09c53

age author description
Sun, 26 Jul 2015 09:52:50 -0700 Ludovic Chabant docs: Always use Pygments styles. Use the new CSS generation processor.