Mikolaj Wielgus 296c2f7bc4 cargo: rename vendor/ to vendored/ ... Clearer name: it is us who are vendoring, not some external party.		2024-02-18 20:54:35 +00:00
..
codegen.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
doc.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
ensures.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
invariant.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
mod.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
parse.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
requires.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00
traits.rs	cargo: rename vendor/ to vendored/	2024-02-18 20:54:35 +00:00