1 files changed, 0 insertions, 15 deletions
diff --git a/src/docs/print_stdout.txt b/src/docs/print_stdout.txt
deleted file mode 100644
index d2cbd811d1b..00000000000
--- a/src/docs/print_stdout.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-### What it does
-Checks for printing on *stdout*. The purpose of this lint
-is to catch debugging remnants.
-
-### Why is this bad?
-People often print on *stdout* while debugging an
-application and might forget to remove those prints afterward.
-
-### Known problems
-Only catches `print!` and `println!` calls.
-
-### Example
-```
-println!("Hello world!");
-```
\ No newline at end of file