Use leading zeroes when renumbering examples

1 files changed, 1 insertions, 1 deletions

diff --git a/examples/renumber.py b/examples/renumber.py
index 28a262c7..747bf6eb 100755
--- a/examples/renumber.py
+++ b/examples/renumber.py
@@ -24,7 +24,7 @@ def _main():
             )
             if is_in_range:
                 new_number = old_number + args.delta
-                new_name = f"{new_number}{match[2]}"
+                new_name = f"{new_number:02}{match[2]}"
                 new_path = os.path.join(example_dir, new_name)
                 print(f"{name} -> {new_name}")