Browse Source

Merge pull request #888 from tendermint/rm-dead-file

remove unused file
pull/891/head
Ethan Buchman 7 years ago
committed by GitHub
parent
commit
52ad6242f4
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
  1. +0
    -1
      INSTALL.md

+ 0
- 1
INSTALL.md View File

@ -1 +0,0 @@
The installation guide has moved to the [docs directory](docs/guides/install-from-source.md) in order to easily be rendered by the website. Please update your links accordingly.

Loading…
Cancel
Save