Admin/user-aliases
Tue, 29 Sep 2009 22:53:07 +0200 wenzelm aliases for Thomas Sewell;
Thu, 12 Mar 2009 23:12:53 +0100 wenzelm more user aliases;
Mon, 19 Jan 2009 13:38:23 +0100 haftmann lcp = paulson
Sun, 18 Jan 2009 21:36:59 +0100 haftmann corrected user aliases
Sun, 18 Jan 2009 21:12:06 +0100 haftmann added churn script
less more (0) tip