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

source default-conf.sh

# Put your configuration here