Armin Rigo committed f1702dc

Add a comment

Comments (0)

Files changed (1)

 you'll get html output in the parent directory. you need an account
 Then you can check it in, login to 
 and go to and type "hg pull -u".
+(Note: nowadays I think there is a script that automatically does
+"hg pull -u" every half hour, so logging in is not needed.)