Admin/user-aliases
2010-10-29 haftmann added user aliasses (still unclear how to specify names with whitespace contained)
2009-12-16 haftmann spaces not allowed, unfortunately
2009-12-16 haftmann user aliasses
2009-09-29 wenzelm aliases for Thomas Sewell;
2009-03-12 wenzelm more user aliases;
2009-01-19 haftmann lcp = paulson
2009-01-18 haftmann corrected user aliases
2009-01-18 haftmann added churn script
less more (0) tip