#! /bin/sh

# Deprecated and never used.

exit 0
