[tor-bugs] #12899 [Tor]: Remove dirauth related naming stuff

[Tor Bug Tracker & Wiki]

#12899: Remove dirauth related naming stuff
-----------------------+------------------------------------
 Reporter:  Sebastian  |          Owner:
     Type:  defect     |         Status:  new
 Priority:  normal     |      Milestone:  Tor: 0.2.6.x-final
Component:  Tor        |        Version:
 Keywords:             |  Actual Points:
Parent ID:  #12898     |         Points:
-----------------------+------------------------------------
 I'm starting on this now.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/12899>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online