summaryrefslogtreecommitdiff
path: root/for_dev/how_to_use_github_to_contribute_to_gudhi.md
diff options
context:
space:
mode:
Diffstat (limited to 'for_dev/how_to_use_github_to_contribute_to_gudhi.md')
-rw-r--r--for_dev/how_to_use_github_to_contribute_to_gudhi.md2
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