rename more stuff

verus-lang · Nov 2, 2024 · 3a45f52 · 3a45f52
1 parent 539132d
commit 3a45f52
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 0 deletions.
diff --git a/.../advanced-rust-topics/exercise_memoize.rs → ...vanced-rust-topics/exercise_01_memoize.rs b/.../advanced-rust-topics/exercise_memoize.rs → ...vanced-rust-topics/exercise_01_memoize.rs
diff --git a/...ust-topics/exercise_doubly_linked_list.rs → ...-topics/exercise_02_doubly_linked_list.rs b/...ust-topics/exercise_doubly_linked_list.rs → ...-topics/exercise_02_doubly_linked_list.rs
diff --git a/...ced-rust-topics/exercise_counting_to_2.rs → ...-rust-topics/exercise_03_counting_to_2.rs b/...ced-rust-topics/exercise_counting_to_2.rs → ...-rust-topics/exercise_03_counting_to_2.rs