From 7e7d0d67de8285e1d6c589750191bce4f49aacb3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:16:46 +0200
Subject: Reorganize a bit the project

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1f9bd6a1..489b6f1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,7 @@ setup.log
 _opam/
 
 # Rust working directory
-rust-tests/target/
+rust-scripts/target/
 
 # F*
 .depend
-- 
cgit v1.2.3