From: Benjamin Auder Date: Thu, 28 Dec 2017 13:53:19 +0000 (+0100) Subject: improve / simplify ranking. Fix forgotten renaming X-Git-Url: https://git.auder.net/?a=commitdiff_plain;h=ade10194c01dcf4a71fc92f055d5dc53ac555e0e;hp=ade10194c01dcf4a71fc92f055d5dc53ac555e0e;p=westcastle.git improve / simplify ranking. Fix forgotten renaming ---