diff options
| author | fanquake <[email protected]> | 2018-05-29 21:49:34 +0800 |
|---|---|---|
| committer | fanquake <[email protected]> | 2018-05-29 21:49:34 +0800 |
| commit | 93843f68918f234929cfddc62b507041ce06805e (patch) | |
| tree | dfb41ce00bc80fed28821783bf28b932ee40ec1b | |
| parent | Merge #13281: test: Move linters to test/lint, add readme (diff) | |
| download | discoin-93843f68918f234929cfddc62b507041ce06805e.tar.xz discoin-93843f68918f234929cfddc62b507041ce06805e.zip | |
doc: remove leftover check-doc documentation
| -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 690b8c7dc..a0b622534 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 =================== |