Skip to content

Commit d11fcb2

Browse files
celinvalcelinval
committed
Move contracts back to library/contracts
1 parent bf2766f commit d11fcb2

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)