From fbbe815996f00068ba4ac49a175d5c877d425ea2 Mon Sep 17 00:00:00 2001
From: Fang <Fang-@users.noreply.github.com>
Date: Tue, 10 Jul 2018 02:07:34 +0200
Subject: [PATCH] Remove deprecated paths from gitignore

We're no longer putting the binary into `/bin` (now into `/build` instead),
so we don't need to ignore it anymore.
---
 .gitignore | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index f2d1c81370..d5a38529c6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,8 +12,6 @@
 /outside/**/*.a
 /outside/re2/obj
 # build
-/bin/urbit
-/bin/test_hash
 /vere.pkg
 .tags
 .etags