Codio.com web IDE

Codio.com creates a .codio file which contains IDE-specific configuration.