diff options
| author | fanquake <fanquake@gmail.com> | 2018-05-29 21:49:34 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2018-05-29 21:49:34 +0800 |
| commit | 93843f68918f234929cfddc62b507041ce06805e (patch) | |
| tree | dfb41ce00bc80fed28821783bf28b932ee40ec1b /contrib | |
| parent | 2ac6315f44a8930a78612a5832f9e4a17f1a85f3 (diff) | |
doc: remove leftover check-doc documentation
Diffstat (limited to 'contrib')
| -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 =================== |