From 19fd5023e7ba1f1fb3a5abc6753def4b42cdf0d8 Mon Sep 17 00:00:00 2001
From: Etienne Pallier <epallier@irap.omp.eu>
Date: Fri, 21 Jul 2023 18:25:40 +0200
Subject: [PATCH] cleanup

---
 cp_private_dev_to_private.bat | 1 -
 1 file changed, 0 insertions(+), 1 deletion(-)
 delete mode 100644 cp_private_dev_to_private.bat

diff --git a/cp_private_dev_to_private.bat b/cp_private_dev_to_private.bat
deleted file mode 100644
index 49275a7..0000000
--- a/cp_private_dev_to_private.bat
+++ /dev/null
@@ -1 +0,0 @@
-xcopy privatedev/ private/ /i /d /y
\ No newline at end of file
--
libgit2 0.21.2