| Tue, 29 Sep 2009 22:53:07 +0200 | wenzelm | aliases for Thomas Sewell; | file | diff | annotate |
| Thu, 12 Mar 2009 23:12:53 +0100 | wenzelm | more user aliases; | file | diff | annotate |
| Mon, 19 Jan 2009 13:38:23 +0100 | haftmann | lcp = paulson | file | diff | annotate |
| Sun, 18 Jan 2009 21:36:59 +0100 | haftmann | corrected user aliases | file | diff | annotate |
| Sun, 18 Jan 2009 21:12:06 +0100 | haftmann | added churn script | file | diff | annotate |