Gabriele Contini
2020-03-14 b1ecd639a21eb73b185cbed66b1307f5d39ac529
doc/development/Development-Environment-Setup.md
File was renamed from doc/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.