diff options
| author |   Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-09-13 14:39:30 +0200 |
|---|---|---|
| committer | Marcus Fritzsch <marcus_fritzsch@mentor.com> | 2017-09-14 14:04:51 +0200 |
| commit | 7f553b1990b5456663e0320c89e3c0aecc0328d7 (patch) | |
| tree | 98db81d8bcab7d282c61d47d71e5377e217e2b60 /src/app.hpp | |
| parent | f09cbfb256460bc934f1df1cef2939a35e032bab (diff) | |
wm-request: enable the use of pygments if available
Signed-off-by: Marcus Fritzsch <marcus_fritzsch@mentor.com>
Diffstat (limited to 'src/app.hpp')
0 files changed, 0 insertions, 0 deletions