diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-13 16:52:58 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-02-13 16:52:58 +0100 |
commit | 7afba92e26f9e3e78ce0c27b8b9ef29b2f9a8121 (patch) | |
tree | a57d160d87d5c3740c3a3da5d5c54d11449f31cd | |
parent | 4b0c4bdf4ec3b8ddc7803eff3e08b7a792a9003d (diff) |
[skip ci] Move all in .github folder
-rw-r--r-- | .github/code_conventions.md (renamed from for_dev/code_conventions.md) | 0 | ||||
-rw-r--r-- | .github/copyright_template.h (renamed from for_dev/copyright_template.h) | 0 | ||||
-rw-r--r-- | .github/copyright_template.py (renamed from for_dev/copyright_template.py) | 0 | ||||
-rw-r--r-- | .github/for_maintainers/new_gudhi_version_creation.md (renamed from for_dev/for_maintainers/new_gudhi_version_creation.md) | 0 | ||||
-rw-r--r-- | .github/for_maintainers/next_release_template.md (renamed from for_dev/for_maintainers/next_release_template.md) | 0 | ||||
-rw-r--r-- | .github/how_to_use_github_to_contribute_to_gudhi.md (renamed from for_dev/how_to_use_github_to_contribute_to_gudhi.md) | 0 | ||||
-rw-r--r-- | .github/next_release.md (renamed from for_dev/next_release.md) | 0 |
7 files changed, 0 insertions, 0 deletions
diff --git a/for_dev/code_conventions.md b/.github/code_conventions.md index 9724f722..9724f722 100644 --- a/for_dev/code_conventions.md +++ b/.github/code_conventions.md diff --git a/for_dev/copyright_template.h b/.github/copyright_template.h index 30034f1b..30034f1b 100644 --- a/for_dev/copyright_template.h +++ b/.github/copyright_template.h diff --git a/for_dev/copyright_template.py b/.github/copyright_template.py index 667f985d..667f985d 100644 --- a/for_dev/copyright_template.py +++ b/.github/copyright_template.py diff --git a/for_dev/for_maintainers/new_gudhi_version_creation.md b/.github/for_maintainers/new_gudhi_version_creation.md index 4a40f373..4a40f373 100644 --- a/for_dev/for_maintainers/new_gudhi_version_creation.md +++ b/.github/for_maintainers/new_gudhi_version_creation.md diff --git a/for_dev/for_maintainers/next_release_template.md b/.github/for_maintainers/next_release_template.md index a2805a55..a2805a55 100644 --- a/for_dev/for_maintainers/next_release_template.md +++ b/.github/for_maintainers/next_release_template.md diff --git a/for_dev/how_to_use_github_to_contribute_to_gudhi.md b/.github/how_to_use_github_to_contribute_to_gudhi.md index 0e7d42ef..0e7d42ef 100644 --- a/for_dev/how_to_use_github_to_contribute_to_gudhi.md +++ b/.github/how_to_use_github_to_contribute_to_gudhi.md diff --git a/for_dev/next_release.md b/.github/next_release.md index a2805a55..a2805a55 100644 --- a/for_dev/next_release.md +++ b/.github/next_release.md |