From: Siraaj Khandkar Date: Sun, 16 Sep 2018 16:41:30 +0000 (-0400) Subject: Use the same status symbol for total as for each X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=1cf4e513b6ce826070535d29f58e8b708279f0f5;hp=1cf4e513b6ce826070535d29f58e8b708279f0f5;p=tiger.ml.git Use the same status symbol for total as for each ---