diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tools.dox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/tools.dox b/src/tools/tools.dox index 54aa4df48e..1168ed5bad 100644 --- a/src/tools/tools.dox +++ b/src/tools/tools.dox @@ -1,5 +1,5 @@ /** -@dir tools +@dir /tools @brief tools: other command-line tools for use with Tor. The "tools" directory has a few other programs that use Tor, but are not part |