Skip to content

Commit 8f6ca19

Browse files
celinvalcelinval
committed
Move contracts back to library/contracts
1 parent 042d069 commit 8f6ca19

File tree

5 files changed

+0
-0
lines changed

5 files changed

+0
-0
lines changed

‎contracts/safety/Cargo.toml renamed to ‎library/contracts/safety/Cargo.toml

File renamed without changes.

‎contracts/safety/build.rs renamed to ‎library/contracts/safety/build.rs

File renamed without changes.

‎contracts/safety/src/kani.rs renamed to ‎library/contracts/safety/src/kani.rs

File renamed without changes.

‎contracts/safety/src/lib.rs renamed to ‎library/contracts/safety/src/lib.rs

File renamed without changes.

‎contracts/safety/src/runtime.rs renamed to ‎library/contracts/safety/src/runtime.rs

File renamed without changes.

0 commit comments

Comments
 (0)