diff options
Diffstat (limited to '')
| -rw-r--r-- | src/tools/clippy/book/README.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/tools/clippy/book/README.md b/src/tools/clippy/book/README.md new file mode 100644 index 000000000..6d67f80ff --- /dev/null +++ b/src/tools/clippy/book/README.md @@ -0,0 +1,4 @@ +# Clippy Book + +This is the source for the Clippy Book. See the +[book](src/development/infrastructure/book.md) for more information. |