log default/static/highlight.css @ 93:650f3456f80d

age author description
2017-11-30 Goffi static (css): added highlight CSS to handle new highlight filter (pygments)