20d4054 Drop the small red stars, they aren't used anywhere anymore

Authored and Committed by pingou 7 years ago
    Drop the small red stars, they aren't used anywhere anymore
    
        
file modified
+2 -2