[tor-wiki-changes] doc/TorBOX/Dev edited

[Tor Bug Tracker & Wiki]

fix merge 

[(diff)][1]

   [1]: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev?action=diff&version=838

URL: https://trac.torproject.org/projects/tor/wiki/doc/TorBOX/Dev?version=838