diff options
author | Guillaume Boisseau | 2024-05-30 17:15:59 +0200 |
---|---|---|
committer | GitHub | 2024-05-30 17:15:59 +0200 |
commit | 170ce1c399d3ae6b2ff9485037eae4d89e7879f2 (patch) | |
tree | c44edd080f2912997c2841a17f335d0d57b77b01 /rust-scripts/Cargo.toml | |
parent | 0c0bbb56655458510c7573b06c9a6d9910f8138a (diff) | |
parent | 19224a45930e4fb0786d6ace0abcded86d110c65 (diff) |
Merge pull request #226 from AeneasVerif/remove-rust-scripts
Diffstat (limited to 'rust-scripts/Cargo.toml')
-rw-r--r-- | rust-scripts/Cargo.toml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/rust-scripts/Cargo.toml b/rust-scripts/Cargo.toml deleted file mode 100644 index 31ef5be0..00000000 --- a/rust-scripts/Cargo.toml +++ /dev/null @@ -1,7 +0,0 @@ -[package] -name = "rust-tests" -version = "0.1.0" -authors = ["Son Ho <hosonmarc@gmail.com>"] -edition = "2018" - -[dependencies]
\ No newline at end of file |