diff options
-rw-r--r-- | for_dev/how_to_use_github_to_contribute_to_gudhi.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/for_dev/how_to_use_github_to_contribute_to_gudhi.md b/for_dev/how_to_use_github_to_contribute_to_gudhi.md index 358825f3..0e7d42ef 100644 --- a/for_dev/how_to_use_github_to_contribute_to_gudhi.md +++ b/for_dev/how_to_use_github_to_contribute_to_gudhi.md @@ -26,7 +26,7 @@ cd gudhi-devel ``` ## Submodule -An interface to Hera for Wasserstein distanceis available on an external git repository. +An interface to Hera for Wasserstein distance is available on an external git repository. Everytime you checkout master or merge from master, afterwards, you will need to run the command: ```bash git submodule update --init |