diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-14 21:56:28 +0100 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-14 21:56:28 +0100 |
| commit | 14d92f8d0c19b58ca59701e6e6bedf174a142922 (patch) | |
| tree | 81f8d9674e300f6e3f9caf6d691176597cac356f /.github/CONTRIBUTING.md | |
| parent | efe3d0f98d7e695b114504c54e0ca1ef820777db (diff) | |
| parent | 05b409f60132a73e47f6f58ba80a6343b5bdb1a6 (diff) | |
Merge remote-tracking branch 'origin/master' into tomato
Diffstat (limited to '.github/CONTRIBUTING.md')
| -rw-r--r-- | .github/CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index 13d6cad7..a18ff8bd 100644 --- a/.github/CONTRIBUTING.md +++ b/.github/CONTRIBUTING.md @@ -19,7 +19,7 @@ There is a label **enhancement** in the [new issue](https://github.com/GUDHI/gud ## You are not familiar with GitHub ? -Please take some time to read our [how to use GitHub to contribute to GUDHI](/home/vincent/workspace/gudhi/gudhi-devel/for_dev/how_to_use_github_to_contribute_to_gudhi.md). +Please take some time to read our [how to use GitHub to contribute to GUDHI](how_to_use_github_to_contribute_to_gudhi.md). ## Something you want to improve in the documentation |