Sat, 06 Jun 2009 12:42:35 +0000 Fix a bug in frontend leading to incorrect behaviour when dealing with names starting/ending with whitespace
unc0rr [Sat, 06 Jun 2009 12:42:35 +0000] rev 2149
Fix a bug in frontend leading to incorrect behaviour when dealing with names starting/ending with whitespace
(0) -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 tip