When we started this project, we designated IntelliJ as the IDE everyone would use for development. This should ideally not be a restriction. We need to remove these ide-specific references and add them to the .gitignore.
Notably:
.idea/
Compiler.iml
May as well remove .gitmodules while we're at it as well, seeing that it's empty.
When we started this project, we designated IntelliJ as the IDE everyone would use for development. This should ideally not be a restriction. We need to remove these ide-specific references and add them to the .gitignore.
Notably:
May as well remove .gitmodules while we're at it as well, seeing that it's empty.