Merge pull request #1011 from urbit/fix-gitignore-cleanup

Remove unused paths from gitignore
This commit is contained in:
Anthony Arroyo 2018-07-10 10:47:45 -07:00 committed by GitHub
commit ed038d8925
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
.gitignore vendored
View File

@ -12,8 +12,6 @@
/outside/**/*.a
/outside/re2/obj
# build
/bin/urbit
/bin/test_hash
/vere.pkg
.tags
.etags