improve / simplify ranking. Fix forgotten renaming
[westcastle.git] / .gitignore
2017-12-28 Benjamin AuderFirst commit