From a08dfb1c2c043cce928ec5a07de9b047d2a25ecc Mon Sep 17 00:00:00 2001
From: Eric Seppanen <eds@reric.net>
Date: Mon, 3 May 2021 14:07:46 -0700
Subject: [PATCH] gitignore .zenith only in git root

I found I had a few other .zenith directories hanging around in odd
places. I doubt we intended those directories to collect in multiple
locations, so only hide the one in the git root directory.
---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index da1369ad24..9d4e7f45ed 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,4 +5,4 @@
 __pycache__/
 test_output/
 .vscode
-.zenith
+/.zenith