Configuring your IDE

TODO:

• what plugins to use

• what IDE settings/properties to set

  • maybe we can add a settings file that can be imported