8ffa2c8 Switch more styled output to use %ps

Authored and Committed by Tom Tromey 4 years ago
    Switch more styled output to use %ps
    
        
file modified
+9 -11
file modified
+4 -2
file modified
+2 -3