text.pretty: remove unused debug info options
This page took 0.040965 seconds and 3 git commands to generate.