From 2ca0e4c8e8381eee777a2efd7e9a1d59241e239c Mon Sep 17 00:00:00 2001 From: Archie Jaskowicz Date: Wed, 3 Apr 2024 13:00:12 +0100 Subject: [PATCH] docs: renamed making_timers, correctly categorised the page --- docpages/example_programs/misc.md | 2 +- .../example_programs/misc/{making_timers.md => using_timers.md} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docpages/example_programs/misc/{making_timers.md => using_timers.md} (100%) diff --git a/docpages/example_programs/misc.md b/docpages/example_programs/misc.md index 448203285a..f8a1cc3578 100644 --- a/docpages/example_programs/misc.md +++ b/docpages/example_programs/misc.md @@ -12,4 +12,4 @@ This section lists examples that do not fit neatly into any of the categories ab * \subpage checking-member-permissions * \subpage setting_status * \subpage using-emojis -* \subpage making_timers +* \subpage using_timers diff --git a/docpages/example_programs/misc/making_timers.md b/docpages/example_programs/misc/using_timers.md similarity index 100% rename from docpages/example_programs/misc/making_timers.md rename to docpages/example_programs/misc/using_timers.md