diff options
| -rw-r--r-- | contrib/devtools/README.md | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/contrib/devtools/README.md b/contrib/devtools/README.md index 690b8c7dc6..a0b6225345 100644 --- a/contrib/devtools/README.md +++ b/contrib/devtools/README.md @@ -2,12 +2,6 @@ Contents ======== This directory contains tools for developers working on this repository. -check-doc.py -============ - -Check if all command line args are documented. The return value indicates the -number of undocumented args. - clang-format-diff.py =================== |