#!/bin/bash
# Envsetup local configuration file
# See default configuration in global-conf.sh

# Put your configuration here