From 490d007e703f6e5402e2fab270388ddf00567473 Mon Sep 17 00:00:00 2001
From: Michel Bierlaire <michel.bierlaire@epfl.ch>
Date: Tue, 6 Aug 2024 08:30:04 +0200
Subject: [PATCH] Delete .#.gitignore

---
 .#.gitignore | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 .#.gitignore

diff --git a/.#.gitignore b/.#.gitignore
deleted file mode 120000
index d82ec1e3..00000000
--- a/.#.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-bierlair@Michels-MacBook-Pro.local.3389
\ No newline at end of file