Skip to content

Commit

Permalink
fix broken link (cosmos#1776) (cosmos#1809)
Browse files Browse the repository at this point in the history
(cherry picked from commit ef7a5c7)

Co-authored-by: Carlos Rodriguez <carlos@interchain.io>
  • Loading branch information
2 people authored and ulbqb committed Jul 27, 2023
1 parent 3fa0cc2 commit e4bbb9f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion modules/apps/transfer/keeper/MBT_README.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ and executed automatically.


The easiest way to run Apalache is by
[using a Docker image](https://github.com/informalsystems/apalache/blob/master/docs/manual.md#useDocker);
[using a Docker image](https://apalache.informal.systems/docs/apalache/installation/docker.html);
to run Jsonatr you need to locally clone the repository, and then,
after building it, add the `target/debug` directory into your `PATH`.

Expand Down

0 comments on commit e4bbb9f

Please sign in to comment.