remove extraneous file
authorRobert Bradshaw <robertwb@math.washington.edu>
Wed, 17 Feb 2010 17:49:17 +0000 (09:49 -0800)
committerRobert Bradshaw <robertwb@math.washington.edu>
Wed, 17 Feb 2010 17:49:17 +0000 (09:49 -0800)
commitfb4210bed973c765b128a5ea300cc025f1bbfc21
treeb7b3753d915c46dfb5592e3ffa69f918fc9ad15f
parentea2ad18fc54e70ceee0aca4553a597d5651c5443
remove extraneous file
shorter_strings.diff [deleted file]