From 22d6b68795b1176b712ecda732262ca988e000cc Mon Sep 17 00:00:00 2001
From: Nick Fitzgerald <fitzgen@gmail.com>
Date: Fri, 10 Jul 2020 13:53:05 -0700
Subject: [PATCH] gitignore: Ignore the `foo` file

It is created by the `run-examples` crate.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index f890733b7d..18a3a0200c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ rusty-tags.*
 tags
 target
 .z3-trace
+foo