These are the configuration files of my development environment.