From 6ef342ea6ceb0a49929859ef96c5e0afcea7451f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 8 Apr 2024 16:45:27 +0200
Subject: Update charon pin

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 2d668039..36809c43 100644
--- a/.gitignore
+++ b/.gitignore
@@ -72,7 +72,6 @@ tests/fstar/misc/obj/
 nohup.out
 .vscode
 *#
-*.lock
 *.txt
 */.#*
 *.smt2
-- 
cgit v1.2.3