This repo contains all the information that is displayed in the main profile page of the Github organization.

If you want to modify that information, go to profile/README.md

How to edit this repo:

• If you want to modify the main page, you can directly modify that README file.
• If you want to create a new document to be linked from the README, create that document inside docs.
• If you want to create (or have created already) a new repository, include it in the list to be make it easily accessible to all the team members. If you aren't sure where this repo should go, ask the responsible professors or your group leader.