diff options
| author | Donald Sharp <sharpd@cumulusnetworks.com> | 2017-12-04 17:45:05 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-04 17:45:05 -0500 |
| commit | d17ea5225bb520a94af1b149c26e1807b929ebf1 (patch) | |
| tree | f8a109eefae935dc2bc5a117ea167087b415dc55 /doc/cli.md | |
| parent | 50a0033c24ec12e2e327d01863f7956672236b0c (diff) | |
| parent | 2e4c22961689fb7ddb973cac9c5cf930d5b7d85f (diff) | |
Merge pull request #1518 from opensourcerouting/clippy-issues
*: make clippy usage more consistent
Diffstat (limited to 'doc/cli.md')
| -rw-r--r-- | doc/cli.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/cli.md b/doc/cli.md index 253617e9b5..723237ebb8 100644 --- a/doc/cli.md +++ b/doc/cli.md @@ -210,7 +210,7 @@ all DEFPY statements**: ... -#include "filename_clippy.c" +#include "daemon/filename_clippy.c" DEFPY(...) DEFPY(...) |