# Configuration for gitpod

This directory is used for various configuration on [gitpod](https://gitpod.io/)