regent: Pretty-print task config options.
regent: Pretty-print task config options.

chuckatkins/legion,chuckatkins/legion,chuckatkins/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,sdalton1/legion,StanfordLegion/legion,chuckatkins/legion,chuckatkins/legion,sdalton1/legion