#968231 global: does not index definitions with pygments anymore

Package:
global
Source:
global
Description:
Source code search and browse tools
Submitter:
Gregory Heytings
Date:
2020-08-13 07:39:02 UTC
Severity:
important