diff docs/assets/css/pygments.pygstyle @ 710:e85f29b28b84

internal: Remove unused piece of code.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 26 May 2016 19:46:28 -0700
parents 66f8bbe8de91
children
line wrap: on
line diff