Teach destroy_repository.py to destroy symbol names
tree87c0f498dc54fd9cb77d0e4442de0ab4ce2f8e6f
-rw-r--r-- 2319 BUGS
-rw-r--r-- 11009 CHANGES
-rw-r--r-- 1034 COMMITTERS
-rw-r--r-- 2725 COPYING
-rw-r--r-- 761 HACKING
-rw-r--r-- 394 MANIFEST.in
-rw-r--r-- 1089 Makefile
-rw-r--r-- 83 README
drwxr-xr-x - contrib
-rwxr-xr-x 1222 cvs2svn
-rw-r--r-- 27541 cvs2svn-example.options
-rw-r--r-- 13646 cvs2svn.1
drwxr-xr-x - cvs2svn_lib
drwxr-xr-x - cvs2svn_rcsparse
-rwxr-xr-x 816 dist.sh
drwxr-xr-x - doc
-rwxr-xr-x 113334 run-tests.py
-rwxr-xr-x 654 setup.py
drwxr-xr-x - test-data
drwxr-xr-x - www