• David Goodell's avatar
    [svn-r9137] update svn:externals after r9135 · c4a04de7
    David Goodell authored
    r9135 was done by git-svn, which can't manipulate the externals
    
    There are probably empty directories that need to be deleted that are left over
    from git-svn as well.  I'll find them shortly and clean them up with native svn.
    
    No reviewer.
    c4a04de7