wm-request: enable the use of pygments if available
authorMarcus Fritzsch <marcus_fritzsch@mentor.com>
Wed, 13 Sep 2017 12:39:30 +0000 (14:39 +0200)
committerMarcus Fritzsch <marcus_fritzsch@mentor.com>
Thu, 14 Sep 2017 12:04:51 +0000 (14:04 +0200)
commit7f553b1990b5456663e0320c89e3c0aecc0328d7
tree98db81d8bcab7d282c61d47d71e5377e217e2b60
parentf09cbfb256460bc934f1df1cef2939a35e032bab
wm-request: enable the use of pygments if available

Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
scripts/wm-request