Remove some (but by no means all) outdated names
authorAlex Dehnert <adehnert@mit.edu>
Wed, 19 Dec 2018 05:32:00 +0000 (00:32 -0500)
committerAlex Dehnert <adehnert@mit.edu>
Wed, 19 Dec 2018 05:34:08 +0000 (00:34 -0500)
commitd356d0a1b3a8dd4aedbabbfc8790445f32171978
treec43b511d71e9059f1b7c27a6af5f744e2322ba86
parenta17d43b607df9e23423f9cfbc44ea25ef626f851
Remove some (but by no means all) outdated names

Mostly killing the ones that don't work now and seem *very* unlikely to come
back ever.
pri/combined-dehnerts.zone