5 Jun
                
                    2011
                
            
            
                5 Jun
                
                '11
                
            
            
            
        
    
                7:28 p.m.
            
        Just adjusted setup-svn.sh: it used to add configuration to websvn configuration files, which we don't have any longer. The specific bits have been removed. Bye, Erik.