diff options
Diffstat (limited to 'doc/client')
| -rw-r--r-- | doc/client/tools.txt (renamed from doc/client/tools/index.txt) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/client/tools/index.txt b/doc/client/tools.txt index 7f6e6b667..7f6e6b667 100644 --- a/doc/client/tools/index.txt +++ b/doc/client/tools.txt |