mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-08-21 14:46:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix vagrantfile

Browse Source 
If you get an error, please run `vagrant box update`.
This commit is contained in:
Adrian Brink
2018-01-26 01:16:07 -05:00
committed by Ethan Buchman
parent 3366dfe32a
commit 0a7a190cd1
2 changed files with 17 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitignore
+1
View File
@@ -17,6 +17,7 @@ test/logs
coverage.txt
docs/_build
docs/tools
*.log
scripts/wal2json/wal2json
scripts/cutWALUntil/cutWALUntil