shed-lang.git/examples/renumber.py, branch main

shed-lang.git/examples/renumber.py, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.zwobble.org/shed-lang.git/atom?h=main 2025-01-12T14:33:29Z Use leading zeroes when renumbering examples 2025-01-12T14:33:29Z Michael Williamson mike@zwobble.org 2025-01-12T14:31:57Z urn:sha1:6e759b164c228407771d40f7bcb253becd828d32 Add renumbering script for examples 2024-12-10T23:19:13Z Michael Williamson mike@zwobble.org 2024-12-10T23:19:13Z urn:sha1:a3d55321537a29401fe487e040e3b6ebbd04fc3e