| Sat, 11 Apr 2009 22:58:19 +0000 | Sverre Rabbelier | Use key().id_or_name() instead of key().name() | file | diff | annotate |
| Wed, 04 Mar 2009 17:04:25 +0000 | Lennard de Rijk | Renamed rankerroot to ranker_root and made some changes due to comments. | file | diff | annotate | base |