urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-24 04:58:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove deprecated paths from gitignore

Browse Source 
We're no longer putting the binary into `/bin` (now into `/build` instead),
so we don't need to ignore it anymore.
This commit is contained in:
Fang 2018-07-10 02:07:34 +02:00 committed by GitHub
parent 76720288d3
commit fbbe815996
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

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