Cleaning up ranking system.
[jars.git] / .gitignore
2019-12-28 plugdUpdated makefile.
2019-11-24 plugdAdded gitignore.