From 52cd0747674227639c0033bc091745f09e4ac0e3 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sun, 30 Jun 2019 19:01:43 +0100
Subject: [PATCH] Update .gitignores

---
 .gitignore                      | 1 +
 implementations/rust/.gitignore | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 implementations/rust/.gitignore

diff --git a/.gitignore b/.gitignore
index 7121c83..7e69498 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 _site/
 preserves.pdf
+scratch/
diff --git a/implementations/rust/.gitignore b/implementations/rust/.gitignore
new file mode 100644
index 0000000..03314f7
--- /dev/null
+++ b/implementations/rust/.gitignore
@@ -0,0 +1 @@
+Cargo.lock