urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-15 04:22:48 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #961 from mrdomino/remove-deps

Browse Source 
Remove a bunch of dependencies
This commit is contained in:
Joe Bryan 2019-01-02 22:55:49 -05:00 committed by GitHub
commit 087c8559e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.travis.yml
View File

@ -46,12 +46,7 @@ addons:
- openssl
- libssl-dev
- libncurses5-dev
- automake
- autoconf
- make
- libtool
- g++
- re2c
- gcc
- libcurl4-gnutls-dev
- unzip
- gdb