# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1702760850 0
# Node ID 1ff8b5045b1f1b55172a0871e5e7dcb16fc9d6ee
# Parent  d9297098442b6a3f0894875c4012d685837a2b94
sic

diff -r d9297098442b -r 1ff8b5045b1f .hgignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.hgignore	Sat Dec 16 21:07:30 2023 +0000
@@ -0,0 +1,1 @@
+\.elc