Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history 
Rename satysfi-lib-dist with satysfi-dist
  • Loading branch information
@na4zagin3
na4zagin3 authored Apr 18, 2020
1 parent c87dab3 commit f514697
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,8 @@ opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-
opam repository add satyrographos https://github.com/na4zagin3/satyrographos-repo.git
opam update

opam depext satysfi satysfi-lib-dist satyrographos
opam install satysfi satysfi-lib-dist satyrographos
opam depext satysfi satysfi-dist satyrographos
opam install satysfi satysfi-dist satyrographos

satyrographos install
```
Expand Down

0 comments on commit f514697

Please sign in to comment.