K 10 svn:author V 7 antoine K 8 svn:date V 27 2020-09-21T12:12:41.216265Z K 7 svn:log V 48 Use the PY_PYGMENTS variable With hat: portmgr END