log bin/really-remove-deb.sh @ 923:b25fbb9257ec default tip

age author description
Sat, 10 May 2014 10:38:56 -0700 Jeff Hammel script to really forecably remove debian packages