From a76f4cd85fd8eef258c6bf1b54211a96e626931e Mon Sep 17 00:00:00 2001 From: datdenkikniet Date: Sat, 22 Apr 2023 22:57:16 +0200 Subject: [PATCH] monotonic.md is now deprecated --- book/en/{src/by-example => deprecated/by_example}/monotonic.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename book/en/{src/by-example => deprecated/by_example}/monotonic.md (100%) diff --git a/book/en/src/by-example/monotonic.md b/book/en/deprecated/by_example/monotonic.md similarity index 100% rename from book/en/src/by-example/monotonic.md rename to book/en/deprecated/by_example/monotonic.md