wm-request: enable the use of pygments if available
[staging/windowmanager.git] / doc /
2017-09-14 Marcus FritzschAdd doc/