From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 29 Oct 2022 18:57:05 +0000 (+0100)
Subject: wip
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=7e53ee0c991764dd36cdd25ac028757925f70119;p=z3-treefoil

wip
---

diff --git a/.dir-locals.el b/.dir-locals.el
new file mode 100644
index 0000000..7210430
--- /dev/null
+++ b/.dir-locals.el
@@ -0,0 +1 @@
+((rust-mode . ((rust-indent-offset . 2))))