From ef7df8048d1067d3148287f27af9047743f1e2ae Mon Sep 17 00:00:00 2001 From: gcontini <1121667+gcontini@users.noreply.github.com> Date: 周日, 15 3月 2020 16:26:21 +0800 Subject: [PATCH] Merge branch 'feature/pc_identifiers' into develop issues #2 #3 #14 #49 --- doc/development/Development-Environment-Setup.md | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/Development-Environment-Setup.md b/doc/development/Development-Environment-Setup.md similarity index 97% rename from doc/Development-Environment-Setup.md rename to doc/development/Development-Environment-Setup.md index da8a265..9a71cd5 100644 --- a/doc/Development-Environment-Setup.md +++ b/doc/development/Development-Environment-Setup.md @@ -1,4 +1,4 @@ - +# Developer's environment setup This guide is just an help in case you haven't decided your development environment or your development environment match ours. We don't have any specific dependency on development tools, you can choose the one you prefer. Though if you want to contribute you're required to format the code using `clang-format` before you submit the pull request. -- Gitblit v1.9.1