#!/bin/bash

psql=psql
uname=`uname -o`

if [ "$uname" = "Cygwin" ]; then
    psql=/usr/bin/psql
fi

. exec/allg/shell/repository/repmkmail