#! /bin/sh

. "`dirname $0`/rcdefs"

