diff -r 7b8d96fc8799 -r d903f8d2395a tools/corrosion/.gitignore
--- a/tools/corrosion/.gitignore	Wed Sep 18 14:10:51 2024 +0200
+++ b/tools/corrosion/.gitignore	Wed Nov 20 21:37:47 2024 +0100
@@ -2,7 +2,6 @@
 **/target/
 **/*.rs.bk
 build*/
-install*/
 .vscode
 .idea
 cmake-build-*