From 694f2c5bb8ec4863ccc88b2e23fb81c5c3ac3c9c Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Sat, 29 Nov 2025 08:09:16 +0100
Subject: [PATCH] Delete .hgignore

Seems useless in a Git project
---
 .hgignore | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 .hgignore

diff --git a/.hgignore b/.hgignore
deleted file mode 100644
index 4bde4195..00000000
--- a/.hgignore
+++ /dev/null
@@ -1,7 +0,0 @@
-^dist$
-^benchmarks/(?:dist|bench)$
-^tests/(?:Map|Set)Properties$
-\.(?:aux|eventlog|h[ip]|log|[oa]|orig|prof|ps|rej|swp)$
-~$
-syntax: glob
-.\#*